diff options
| author | Martin <martin@leo.fri1.uni-lj.si> | 2015-09-15 12:14:30 +0200 |
|---|---|---|
| committer | Martin <martin@leo.fri1.uni-lj.si> | 2015-09-15 12:14:30 +0200 |
| commit | 9df933ebc3ade50628a26af691693254ed1daa22 (patch) | |
| tree | 26fa4689f581eda562fcfd881ea3c9cca7b4ecc5 /web | |
| parent | b2b4e40e5333b3182d0a57052640e8a7ecae8619 (diff) | |
| parent | cc3a807157d6d2d2c4830afcec90d6614e486b70 (diff) | |
Merge branch 'master' of ssh://212.235.189.51:22122/codeq-server
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}); |