diff options
Diffstat (limited to 'web')
-rw-r--r-- | web/main.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/web/main.js b/web/main.js index 90d4cd1..21f639d 100644 --- a/web/main.js +++ b/web/main.js @@ -218,7 +218,7 @@ var guiHandlers = { 'update_settings': true, 'load_problem': true, 'end_problem': true, - 'user_stat': true, + 'user_stat': true, 'system': true }; |