From dc53c74c0721ca7f2a467ea54620c5ef71ddbdfd Mon Sep 17 00:00:00 2001 From: Franco Fichtner Date: Mon, 7 Aug 2017 05:50:58 +0200 Subject: [PATCH] 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. --- src/etc/rc.initial.restore | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/etc/rc.initial.restore b/src/etc/rc.initial.restore index 06620f91a..c0292b821 100755 --- a/src/etc/rc.initial.restore +++ b/src/etc/rc.initial.restore @@ -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}