summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorHolger Levsen <holger@layer-acht.org>2012-12-26 19:40:09 +0100
committerHolger Levsen <holger@layer-acht.org>2012-12-26 19:40:09 +0100
commit873ef1ff29b562e6aaca896a758254de015953e2 (patch)
tree637ea43f9bed507bf7b0b12e60d5da52c91293d4
parent4eafd2257df33813be29242946600eef3fc7ac3b (diff)
downloadjenkins.debian.net-873ef1ff29b562e6aaca896a758254de015953e2.tar.xz
give kill more time
-rwxr-xr-xbin/g-i-installation.sh2
1 files changed, 2 insertions, 0 deletions
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