]> matita.cs.unibo.it Git - helm.git/blobdiff - matita/scripts/public_html/composequery.php
go
[helm.git] / matita / scripts / public_html / composequery.php
index 49a943e47b61f5f443de93261ccec984078c3822..1c7366dea564b72062741aff6f288ebe1cfec02d 100644 (file)
@@ -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);