diff options
| author | Robert Zorko <robertz@gurucue.com> | 2015-10-13 15:28:06 +0200 |
|---|---|---|
| committer | Robert Zorko <robertz@gurucue.com> | 2015-10-13 15:28:06 +0200 |
| commit | c1171038a0d8b41c9e10fcdd66c25532890df7fb (patch) | |
| tree | e09d41107a89a6248680e6e3547a32b5b4060489 | |
| parent | af8a603bd4821ee1228df92b28fd169ea2eee4e0 (diff) | |
slight changes to the logout functionality, so it won't request a reset anymore
| -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(); }, |