rc: did PHP 7.0.22 flip-flop on dot vs. comma usage in floats?

The same thing happened with 930f7974e.  This is a worrying trend.
This commit is contained in:
Franco Fichtner 2017-08-07 05:50:58 +02:00
parent 81aed9877d
commit dc53c74c07

View File

@ -44,8 +44,8 @@ DATED=
for BACKUP in ${BACKUPS}; do
DATETIME=${BACKUP#*config-}
DATETIME=${DATETIME%.xml}
SUBSEC=${DATETIME#*.}
DATETIME=${DATETIME%.*}
SUBSEC=${DATETIME#*[.,]}
DATETIME=${DATETIME%[.,]*}
# write a line with all required info that is prefixed
# with a sortable time stamp for our next step...
DATED="${DATED}$(date -r ${DATETIME} '+%Y-%m-%dT%H:%M:%S').${SUBSEC} ${DATETIME} ${BACKUP}