SquidDev 0ec3884e98 Handle websockets which close while receiving ...

This changes the previous behaviour a little, but hopefully is more
sane:

 - Only require the socket to be open when first calling receive. This
   means if it closes while receving, you won't get an error.

   This behaviour is still not perfect - the socket could have closed,
   but the event not reached the user yet, but it's better.

 - Listen to websocket_close events while receiving, and return null
   should it match ours.

See #201

2019-05-08 08:16:21 +01:00

..

dan200/computercraft

Handle websockets which close while receiving

2019-05-08 08:16:21 +01:00