From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 17 Nov 2006 18:39:43 +0000 (+0000)
Subject: Fixed the infamous bug:
X-Git-Tag: 0.4.95@7852~799
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=2ace962feb680119ddfcf2e7d62ed444b101fea7;p=helm.git

Fixed the infamous bug:
> >/home/sacerdot/miohelm/matita/scripts/crontab.sh: line 70: [: : integer
> >expression expected
---

diff --git a/matita/scripts/crontab.sh b/matita/scripts/crontab.sh
index f59bcdb97..f2a0283c0 100644
--- a/matita/scripts/crontab.sh
+++ b/matita/scripts/crontab.sh
@@ -65,7 +65,7 @@ fi
 if [ "$DELTA" -lt 0 ]; then
   PERC=0
 else
-  PREC=`lua5.1 scripts/functions.lua proportion $DELTA x $OLD_TIME 100`
+  PERC=`lua5.1 scripts/functions.lua proportion $DELTA x $OLD_TIME 100`
 fi
 if [ "$PERC" -ge 5 ]; then
   cat <<EOT