Hack: divide download numbers by two to adapt to log format changes after disabling forkserver.

This commit is contained in:
Achim D. Brucker 2018-09-02 11:11:33 +01:00
parent 9a33bfdd9e
commit cb974b6ddf
1 changed files with 2 additions and 0 deletions

View File

@ -49,8 +49,10 @@ fi
echo "* current status"
PDOWNLOADS=`grep 'Updating extension $' $LATESTLOG | wc -l`
PDOWNLOADS=$(($PDOWNLOADS/2))
echo " * parallel downloads finished: $PDOWNLOADS"
SDOWNLOADS=`grep 'Updating extension (' $LATESTLOG | wc -l`
SDOWNLOADS=$(($SDOWNLOADS/2))
echo " * sequential downloads finished: $SDOWNLOADS"
echo " * Updating info from log ($LATESTLOG):"
grep 'Updating .* extensions' $LATESTLOG | sed -e 's/^.*---//'