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>
Thu, 18 Mar 2021 21:51:47 +0000 (22:51 +0100)
commit194f93884da7c0c03172fe27fff992f3c538eeae
tree88ea50f9eccf526d5cbe52c57cdf7780ffda68b4
parent81f78003ebc436ac9c555bc2d54a7b5f562b1aba
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