diff options
Diffstat (limited to 'web')
| -rw-r--r-- | web/main.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/web/main.js b/web/main.js index d2b84af..7f1b2e4 100644 --- a/web/main.js +++ b/web/main.js @@ -195,7 +195,7 @@ server.on('connection', function (socket) { }; socket.on('close', function (reason, description) { // description is optional - logger.debug('GUI socket closed'); + logger.debug('GUI socket closed: ' + reason); if (session.sid !== null) { if (sessions[session.sid] === session) delete sessions[session.sid]; sendDataToPython({'type': 'unregister', 'sid': session.sid}); |