From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Mon, 20 Mar 2006 16:39:57 +0000 (+0000)
Subject: fix
X-Git-Tag: make_still_working~7489
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=01dc671e722e9147ae5b3518b0ebcbf86908fd47;p=helm.git

fix
---

diff --git a/helm/software/matita/scripts/public_html/showquery.php b/helm/software/matita/scripts/public_html/showquery.php
index 7f4a41124..1d19033ed 100644
--- a/helm/software/matita/scripts/public_html/showquery.php
+++ b/helm/software/matita/scripts/public_html/showquery.php
@@ -18,7 +18,7 @@ function prettify($s,$name) {
     $hour = substr($s,8,2);
     $minute = substr($s,10,2);
     return $day . "/" . $month . "/" . $year . " " . $hour . ":" . $minute;
-  } else if ($name == "sum_time" || $name == "sum_timeuser" || $name == "time" || $name == "time_user" ){
+  } else if ($name == "sum_time" || $name == "sum_timeuser" || $name == "time" || $name == "time_user" || $name == "timeuser"){
     $min = floor($s / 6000);
     $sec = floor(($s - $min * 6000) / 100);
     $cents = $s % 100;