diff options
author | Aleš Smodiš <aless@guru.si> | 2015-10-04 19:43:09 +0200 |
---|---|---|
committer | Aleš Smodiš <aless@guru.si> | 2015-10-04 19:43:09 +0200 |
commit | 361f8245079b625560449324faf111ed6fcf3b1b (patch) | |
tree | a484991b6e3456545d6d5437a17201ab0a8e7b8a /web | |
parent | 8c61a1980c973c649a2d9b3b9da67f2a680f4139 (diff) |
Unification of language session implementations. Added load_problem and end_problem actions so handlers get appropriately created and destroyed upon loading and unloading the problem solving screen.
Diffstat (limited to 'web')
-rw-r--r-- | web/main.js | 20 |
1 files changed, 11 insertions, 9 deletions
diff --git a/web/main.js b/web/main.js index 931a550..8eac85c 100644 --- a/web/main.js +++ b/web/main.js @@ -108,15 +108,17 @@ var guiHandlers = { // actions to use default handling should define truthy values that are not functions // (this is to filter out unnecessary traffic before it hits Python) - 'activity': true, - 'query': true, - 'python_exec': true, - 'python_push': true, - 'python_stop': true, - 'hint': true, - 'test': true, - 'get_problem': true, - 'settings': true + 'activity': true, + 'query': true, + 'python_exec': true, + 'python_push': true, + 'python_stop': true, + 'hint': true, + 'test': true, + 'get_problem': true, + 'settings': true, + 'load_problem': true, + 'end_problem': true }; server.on('connection', function (socket) { |