From 873ef1ff29b562e6aaca896a758254de015953e2 Mon Sep 17 00:00:00 2001
From: Holger Levsen <holger@layer-acht.org>
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