websocket: Gracefully handle read errors and socket close.
authorJan (janneke) Nieuwenhuizen <janneke@gnu.org>
Sun, 8 Nov 2020 07:30:39 +0000 (08:30 +0100)
committerJan (janneke) Nieuwenhuizen <janneke@gnu.org>
Sun, 8 Nov 2020 07:30:39 +0000 (08:30 +0100)
commit3fdb26d51c8e181dedc8489a1ba7859bd7741fad
tree347d93c73e0374cf946e0dd570b0b91a6895f916
parentc45e4b2baeb7500002ad8a7c77ef76f86851d321
websocket: Gracefully handle read errors and socket close.

* 8sync/systems/websocket/client.scm (websocket-socket-open?): New
method.
(websocket-loop): Use it to gracefully handle errors socket close.
8sync/systems/websocket/client.scm