summaryrefslogtreecommitdiff
path: root/web
diff options
context:
space:
mode:
Diffstat (limited to 'web')
-rw-r--r--web/main.js1
1 files changed, 1 insertions, 0 deletions
diff --git a/web/main.js b/web/main.js
index b3c096f..c4f3d80 100644
--- a/web/main.js
+++ b/web/main.js
@@ -100,6 +100,7 @@ var guiHandlers = {
'update_settings': true,
'load_problem': true,
'end_problem': true,
+ 'user_stat': true,
'system': true
};