a24d97ca6b
When the client sends a request to the server, if an extra conf file is found that is not already white/blacklisted, the server stops processing the request and tells the client that an unknown extra conf file has been found. The client then asks the user if that file should be loaded or not. Depending on the user's answer, the client sends a request to the server to load or ignore the extra conf file. Finally, the server loads the file or adds it to the blacklist. However, the initial request was not processed by the server and should be sent again.
49 lines
1.7 KiB
Python
49 lines
1.7 KiB
Python
# Copyright (C) 2013 Google Inc.
|
|
#
|
|
# This file is part of YouCompleteMe.
|
|
#
|
|
# YouCompleteMe is free software: you can redistribute it and/or modify
|
|
# it under the terms of the GNU General Public License as published by
|
|
# the Free Software Foundation, either version 3 of the License, or
|
|
# (at your option) any later version.
|
|
#
|
|
# YouCompleteMe is distributed in the hope that it will be useful,
|
|
# but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
# GNU General Public License for more details.
|
|
#
|
|
# You should have received a copy of the GNU General Public License
|
|
# along with YouCompleteMe. If not, see <http://www.gnu.org/licenses/>.
|
|
|
|
from __future__ import unicode_literals
|
|
from __future__ import print_function
|
|
from __future__ import division
|
|
from __future__ import absolute_import
|
|
# Not installing aliases from python-future; it's unreliable and slow.
|
|
from builtins import * # noqa
|
|
|
|
import time
|
|
from threading import Thread
|
|
from ycm.client.base_request import BaseRequest
|
|
|
|
|
|
# This class can be used to keep the ycmd server alive for the duration of the
|
|
# life of the client. By default, ycmd shuts down if it doesn't see a request in
|
|
# a while.
|
|
class YcmdKeepalive( object ):
|
|
def __init__( self, ping_interval_seconds = 60 * 10 ):
|
|
self._keepalive_thread = Thread( target = self._ThreadMain )
|
|
self._keepalive_thread.daemon = True
|
|
self._ping_interval_seconds = ping_interval_seconds
|
|
|
|
|
|
def Start( self ):
|
|
self._keepalive_thread.start()
|
|
|
|
|
|
def _ThreadMain( self ):
|
|
while True:
|
|
time.sleep( self._ping_interval_seconds )
|
|
|
|
BaseRequest().GetDataFromHandler( 'healthy', display_message = False )
|