Open satoshinm opened 7 years ago
Found this (but it is JavaScript): https://github.com/joewalnes/reconnecting-websocket - "after an onclose event is called it will automatically attempt to reconnect" repeatedly (with a small pause) - 1 second intervals
The server connection can be lost for various reasons, such as if you are on a mobile device and lose connectivity. Reconnecting requires typing /online servername (if you have a keyboard) or reloading the page (losing state). What about automatically trying to reconnect to the server at some repeating interval, if the connection is lost? src/main.c: