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