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