Sometimes Syncplay fails to re-connect to server after waking pc from sleep with `Connection with server timed out`

[soredake]

Describe the bug
Sometimes Syncplay fails to re-connect to server after waking pc from sleep with Connection with server timed out

To Reproduce
Steps to reproduce the behavior:

1. Install syncthing on windows
2. Join room
3. Put pc to sleep
4. Wake pc from sleep
5. Error (maybe)

Expected behavior
syncplay should try to reconnect, not throw Connection with server timed out and give up

Screenshots

Version and platform:

• OS: Windows 11 25H2
• Syncplay version and build type: Syncplay 1.7.5 stable
• Media player and version: mpv 0.41.0

Additional context
Log:
Untitled-2.txt

[Et0h]

I agree that reconnecting would likely be more convenient and the more expected behaviour given Syncplay tries to reconnect on a disconnect.

I assume that the easiest way to fix it is to modify checkIfConnected in client.py to add self.manualReconnect() before return False, but I've not actually tested if that works properly. If you can test it and it works then let me know and I'll tweak the code acodingly.

As such please try the folllowing code:

def checkIfConnected(self):
    if self._lastGlobalUpdate and self._protocol and time.time() - self._lastGlobalUpdate > constants.PROTOCOL_TIMEOUT:
        self._lastGlobalUpdate = None
        self.ui.showErrorMessage(getMessage("server-timeout-error"))
        self._protocol.drop()
        self.manualReconnect()
        return False
    return True

For now you can just use the manual reconnect feature.