6f4ef3bbdb
The server always sends pongs in response to our pings, but we assumed that the underlying OS would close a connection when the other side isn't replying (ACKs). Now we take this responsibility in the code and when no pongs are registered we also close and re-establish the connection. This additionally shortens the ping time to 30 seconds and the timeout to 90 seconds.