Check that the previous date was a number

This commit is contained in:
Bob Mottram 2015-03-29 11:27:41 +01:00
parent 605a394dfb
commit 97c23d9686
1 changed files with 16 additions and 13 deletions

View File

@ -4776,11 +4776,13 @@ function time_synchronisation {
echo 'DATE_BEFORE=$(date)' >> /usr/bin/updatedate echo 'DATE_BEFORE=$(date)' >> /usr/bin/updatedate
echo 'BEFORE=$(date "+%s")' >> /usr/bin/updatedate echo 'BEFORE=$(date "+%s")' >> /usr/bin/updatedate
echo 'BACKWARDS_BETWEEN=0' >> /usr/bin/updatedate echo 'BACKWARDS_BETWEEN=0' >> /usr/bin/updatedate
echo 're="^[0-9]+$"' >> /usr/bin/updatedate
echo '# If the date was previously set' >> /usr/bin/updatedate echo '# If the date was previously set' >> /usr/bin/updatedate
echo 'if [ -s "$BEFORE_DATE_FILE" ]; then' >> /usr/bin/updatedate echo 'if [ -s "$BEFORE_DATE_FILE" ]; then' >> /usr/bin/updatedate
echo ' filesize=$(wc -c "$BEFORE_DATE_FILE" | cut -f 1 -d " ")' >> /usr/bin/updatedate echo ' filesize=$(wc -c "$BEFORE_DATE_FILE" | cut -f 1 -d " ")' >> /usr/bin/updatedate
echo ' if [ $filesize -ge 5 ]; then' >> /usr/bin/updatedate echo ' if [ $filesize -ge 5 ]; then' >> /usr/bin/updatedate
echo ' BEFORE_FILE=$(cat $BEFORE_DATE_FILE)' >> /usr/bin/updatedate echo ' BEFORE_FILE=$(cat $BEFORE_DATE_FILE)' >> /usr/bin/updatedate
echo ' if [[ $BEFORE_FILE =~ $re ]] ; then' >> /usr/bin/updatedate
echo ' BEFORE_FULLDATE=$(cat $BEFORE_FULLDATE_FILE)' >> /usr/bin/updatedate echo ' BEFORE_FULLDATE=$(cat $BEFORE_FULLDATE_FILE)' >> /usr/bin/updatedate
echo ' # is the date going backwards?' >> /usr/bin/updatedate echo ' # is the date going backwards?' >> /usr/bin/updatedate
echo ' if (( $BEFORE_FILE > $BEFORE )); then' >> /usr/bin/updatedate echo ' if (( $BEFORE_FILE > $BEFORE )); then' >> /usr/bin/updatedate
@ -4797,6 +4799,7 @@ function time_synchronisation {
echo ' fi' >> /usr/bin/updatedate echo ' fi' >> /usr/bin/updatedate
echo ' fi' >> /usr/bin/updatedate echo ' fi' >> /usr/bin/updatedate
echo ' fi' >> /usr/bin/updatedate echo ' fi' >> /usr/bin/updatedate
echo 'fi' >> /usr/bin/updatedate
echo '# Set the date' >> /usr/bin/updatedate echo '# Set the date' >> /usr/bin/updatedate
echo '/usr/bin/timeout $TIMEOUT tlsdate -l -t -H $TIMESOURCE -p 443 >> $LOGFILE' >> /usr/bin/updatedate echo '/usr/bin/timeout $TIMEOUT tlsdate -l -t -H $TIMESOURCE -p 443 >> $LOGFILE' >> /usr/bin/updatedate
echo 'DATE_AFTER=$(date)' >> /usr/bin/updatedate echo 'DATE_AFTER=$(date)' >> /usr/bin/updatedate