Process user stats in Python instead of SQL

Since we ultimately want to include events from traces (hints, tests) in
statistics, SQL will be insufficient.

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