summaryrefslogtreecommitdiff
path: root/web
diff options
context:
space:
mode:
Diffstat (limited to 'web')
-rw-r--r--web/main.js20
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) {