From 1203ad99f5676a26fba189bfae4259c0bf09eac1 Mon Sep 17 00:00:00 2001
From: Timotej Lazar <timotej.lazar@fri.uni-lj.si>
Date: Thu, 15 Oct 2015 16:35:29 +0200
Subject: 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.
---
 web/main.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'web')

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