b1bba2e201
When I initially released this project, I released it under my own copyright. I have since then worked on it in my 20% time at Google (and want to continue doing this) and my life becomes much simpler if the copyright is Google's. From the perspective of how this project is run and managed, **NOTHING** changes. YCM is not a Google product, merely a project run by someone who just happens to work for Google. Please note that the license of the project is **NOT** changing. People sending in future pull requests will have to sign the Google [CLA](https://developers.google.com/open-source/cla/individual) (you can sign online at the bottom of that page) before those pull requests could be merged in. People who sent in pull requests that were merged in the past will get an email from me asking them to sign the CLA as well.
49 lines
1.6 KiB
Python
49 lines
1.6 KiB
Python
#!/usr/bin/env 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/>.
|
|
|
|
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 )
|
|
|
|
# We don't care if there's an intermittent problem in contacting the
|
|
# server; it's fine to just skip this ping.
|
|
try:
|
|
BaseRequest.GetDataFromHandler( 'healthy' )
|
|
except:
|
|
pass
|