X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fscripts%2Fpublic_html%2Fcomposequery.php;h=1c7366dea564b72062741aff6f288ebe1cfec02d;hb=15d6a12894dd88099e90ffb80a138970a597542b;hp=49a943e47b61f5f443de93261ccec984078c3822;hpb=55b82bd235d82ff7f0a40d980effe1efde1f5073;p=helm.git

diff --git a/helm/software/matita/scripts/public_html/composequery.php b/helm/software/matita/scripts/public_html/composequery.php
index 49a943e47..1c7366dea 100644
--- a/helm/software/matita/scripts/public_html/composequery.php
+++ b/helm/software/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);