diff options
author | Marko Pušnik <marko.pusnik@guru.si> | 2015-10-12 18:22:10 +0200 |
---|---|---|
committer | Marko Pušnik <marko.pusnik@guru.si> | 2015-10-12 18:22:10 +0200 |
commit | 178da7b42b34b7d985d79432f31bf32810eadec2 (patch) | |
tree | 27982522eb80d5f90a984634af6c8bb0dfb36143 /web | |
parent | 104a1169a275c4cc023b0cc03abed9103d1b9abd (diff) |
get basic user statistics
Diffstat (limited to 'web')
-rw-r--r-- | web/main.js | 1 |
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 }; |