Log on WebSocket disconnect too

This commit is contained in:
Tony Garnock-Jones 2019-06-20 13:34:21 +01:00
parent 86e81e83f0
commit 1b71d1811d
1 changed files with 1 additions and 0 deletions

View File

@ -67,6 +67,7 @@ spawn named 'WebSocketFactory' {
const disconnect = () => {
if (ws) {
console.log('WebSocket', id, url, 'disconnecting');
try { ws.close(); } catch (_e) {}
ws = null;
}