From 873ef1ff29b562e6aaca896a758254de015953e2 Mon Sep 17 00:00:00 2001 From: Holger Levsen Date: Wed, 26 Dec 2012 19:40:09 +0100 Subject: give kill more time --- bin/g-i-installation.sh | 2 ++ 1 file changed, 2 insertions(+) (limited to 'bin') diff --git a/bin/g-i-installation.sh b/bin/g-i-installation.sh index dcf66503..fb39a996 100755 --- a/bin/g-i-installation.sh +++ b/bin/g-i-installation.sh @@ -414,6 +414,7 @@ monitor_system() { # test if this screenshot is basically the same as the one 400 screenshots ago # 200 pixels difference between to images is tolerated, to ignore updating clocks PIXEL=$(compare -metric AE snapshot_${PRINTF_NR}.ppm snapshot_${PRINTF_OLD}.ppm /dev/null 2>&1) + echo "$PIXEL pixel difference between snapshot_${PRINTF_NR}.ppm and snapshot_${PRINTF_OLD}.ppm" if [ $PIXEL -lt 200 ] ; then set -x # unless TRIGGER_MODE is empty, matching images means its over @@ -538,6 +539,7 @@ case $NAME in if [ ! -z "$IMAGE" ] ; then sudo umount -l $IMAGE_MNT || true fi + sleep 5 boot_system let START_TRIGGER=NR+500 monitor_system normal $START_TRIGGER -- cgit v1.2.3-70-g09d2