X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matita%2Fscripts%2Fpublic_html%2Fcomposequery.php;h=1c7366dea564b72062741aff6f288ebe1cfec02d;hb=6f2010e34a4c8e4a2fe78b78f9688844d350e5a0;hp=49a943e47b61f5f443de93261ccec984078c3822;hpb=7f2444c2670cadafddd8785b687ef312158376b0;p=helm.git

diff --git a/matita/scripts/public_html/composequery.php b/matita/scripts/public_html/composequery.php
index 49a943e47..1c7366dea 100644
--- a/matita/scripts/public_html/composequery.php
+++ b/matita/scripts/public_html/composequery.php
@@ -23,7 +23,7 @@
   $gb = $_GET['groupby'];
   $limit = $_GET['limit'];
   if($gb != "--")
-    $what = "mark, SEC_TO_TIME(SUM(TIME_TO_SEC(time))) as sum_time, SEC_TO_TIME(SUM(TIME_TO_SEC(timeuser))) as sum_timeuser";
+    $what = "mark, SUM(time) as sum_time, SUM(timeuser) as sum_timeuser";
   else
     $what = "mark, time, timeuser, compilation, test, result, options";
   $clause = clause_for($c);