ok up to pr3

[helm.git] / helm / software / matita / scripts / crontab.sh

diff --git a/helm/software/matita/scripts/crontab.sh b/helm/software/matita/scripts/crontab.sh
index 99b4a13a6b77abd171c9495eeac3dfdde1af9fbe..a521c15b99377ad06644e9e0d298869132aa4a71 100644 (file)
--- a/helm/software/matita/scripts/crontab.sh
+++ b/helm/software/matita/scripts/crontab.sh
@@ -47,13 +47,29 @@ fi
 CUR_TIME=`echo $SQLQTIME$MARK$SQLQGRMARK | $MYSQL`
 OLD_TIME=`echo $SQLQTIME$LASTMARK$SQLQGRMARK | $MYSQL`
 
-((DELTA=$CUR_CENTS-$OLD_CENTS))
-if [ $DELTA -lt 0 ]; then
+if [ -z "$CUR_TIME" -o -z "$OLD_TIME" ]; then
+    cat <<EOT
+
+    Unable to calculate total time amounts:
+    
+      $SQLQTIME$MARK$SQLQGRMARK 
+      
+    or
+
+      $SQLQTIME$LASTMARK$SQLQGRMARK
+      
+    gave an empty result
+    
+EOT
+fi
+
+((DELTA= $CUR_TIME - $OLD_TIME))
+if [ "$DELTA" -lt 0 ]; then
   PERC=0
 else
   PREC=`scripts/functions.lua proportion $DELTA x $OLD_CENTS 100`
 fi
-if [ $PERC -ge 5 ]; then
+if [ "$PERC" -ge 5 ]; then
   cat <<EOT
   
   PERFORMANCE LOSS DETECTED (MARK $MARK vs MARK $LASTMARK)
@@ -70,7 +86,7 @@ fi
 CUR_FAIL=`echo $SQLQFAIL$MARK$SQLQFAIL2 | $MYSQL`
 OLD_FAIL=`echo $SQLQFAIL$LASTMARK$SQLQFAIL2 | $MYSQL`
 
-if [ $CUR_FAIL -gt $OLD_FAIL ]; then
+if [ "$CUR_FAIL" -gt "$OLD_FAIL" ]; then
   cat <<EOT
 
   MORE BROKEN TESTS DETECTED (MARK $MARK vs MARK $LASTMARK)