From 178da7b42b34b7d985d79432f31bf32810eadec2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Marko=20Pu=C5=A1nik?= <marko.pusnik@guru.si>
Date: Mon, 12 Oct 2015 18:22:10 +0200
Subject: get basic user statistics

---
 web/main.js | 1 +
 1 file changed, 1 insertion(+)

(limited to 'web')

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
 };
 
-- 
cgit v1.2.1