Close the Python sockets when the Websocket closes
This allows the client to detect when the connection has been interrupted
P
Pete committed
3b58df2b74ef75f0461b55a35bde7cd7e58047c0
Parent: e104702
This allows the client to detect when the connection has been interrupted