This commit introduces new functionality on the client side to send PING messages over the websocket. If the server doesn't respond within PING_INTERVAL (currently 30 seconds), the connection is closed and re-created. This will allow us to find broken connections more quickly. |
||
|---|---|---|
| .. | ||
| rest | ||
| websocket | ||