websocket: Ping client occasionally to prevent timeoiuts.
authorChristopher Allan Webber <cwebber@dustycloud.org>
Thu, 26 Oct 2017 03:16:37 +0000 (22:16 -0500)
committerChristopher Allan Webber <cwebber@dustycloud.org>
Thu, 26 Oct 2017 03:18:29 +0000 (22:18 -0500)
commit80d96fb807e55e14cf0cd0738ae8ae5b14288dc4
tree9238b38b7611599c577f83d57f59a969ae69eb27
parentcd32bbe822f4e3acbb755993d3bd39358c176a26
websocket: Ping client occasionally to prevent timeoiuts.

Technically we aren't observing currently whether or not we get a
pong.

* 8sync/systems/websocket/server.scm (websocket-client-loop)
(websocket-server-send): Occasionally ping client ot prevent timeouts.
8sync/systems/websocket/server.scm