1234567891011121314151617181920212223242526272829303132333435363738394041 |
- # 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/>.
- 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:
- 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 )
|