diff options
Diffstat (limited to 'web')
| -rw-r--r-- | web/main.js | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/web/main.js b/web/main.js index e8c0c3c..c07e12e 100644 --- a/web/main.js +++ b/web/main.js @@ -106,7 +106,8 @@ var guiHandlers = { // logout, the user quit the app logger.debug('Logout GUI'); sendDataToPython(message).finally(function () { - session.end({'type': 'reset', 'code': 9999, 'message': 'Bye.'}); + //session.end({'type': 'reset', 'code': 9999, 'message': 'Bye.'}); + session.end({'code': 0, 'message': 'Bye.', 'tid': message.tid, 'sid':message.sid}); }).done(); }, |