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
 };