Rezzect/syncplay
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases 2 Wiki Activity

Corrected disconnection on no contact with server

Browse Source
This commit is contained in:
Uriziel 2012-12-19 13:02:39 +01:00
parent 18e6b67621
commit 4b8469ddaa
1 changed files with 10 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
syncplay/client.py
View File

@ -101,6 +101,15 @@ class SyncplayClient(object):
return return
if(self._player): if(self._player):
self._player.askForStatus() self._player.askForStatus()
self.checkIfConnected()
def checkIfConnected(self):
if(self._lastGlobalUpdate and self._protocol and time.time() - self._lastGlobalUpdate > 2.5):
self._lastGlobalUpdate = None
self.ui.showErrorMessage("Connection with server timeouted")
self._protocol.drop()
return False
return True
def _determinePlayerStateChange(self, paused, position): def _determinePlayerStateChange(self, paused, position):
pauseChange = self.getPlayerPaused() != paused and self.getGlobalPaused() != paused pauseChange = self.getPlayerPaused() != paused and self.getGlobalPaused() != paused
@ -123,7 +132,7 @@ class SyncplayClient(object):
def getLocalState(self): def getLocalState(self):
paused = self.getPlayerPaused() paused = self.getPlayerPaused()
position = self.getPlayerPosition() position = self.getPlayerPosition()
pauseChange, _ = self._determinePlayerStateChange(paused, position) pauseChange, _ = self._determinePlayerStateChange(paused, position)
if(self._lastGlobalUpdate): if(self._lastGlobalUpdate):
return position, paused, _, pauseChange return position, paused, _, pauseChange
else: else: