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 9ac0492..e8c0c3c 100644
--- a/web/main.js
+++ b/web/main.js
@@ -126,6 +126,7 @@ var guiHandlers = {
'update_settings': true,
'load_problem': true,
'end_problem': true,
+ 'user_stat': true,
'system': true
};