|
|
@@ -82,22 +82,22 @@ finish() {
|
|
|
if [ -s "$QEMU_PID" ]; then
|
|
|
|
|
|
pid=$(<"$QEMU_PID")
|
|
|
- error "Forcefully terminating Windows, reason: $reason..."
|
|
|
+ echo && error "Forcefully terminating Windows, reason: $reason..."
|
|
|
{ kill -15 "$pid" || true; } 2>/dev/null
|
|
|
|
|
|
while isAlive "$pid"; do
|
|
|
|
|
|
sleep 1
|
|
|
cnt=$((cnt+1))
|
|
|
-
|
|
|
+
|
|
|
# Workaround for zombie pid
|
|
|
[ ! -s "$QEMU_PID" ] && break
|
|
|
-
|
|
|
+
|
|
|
if [ "$cnt" == "5" ]; then
|
|
|
- error "QEMU did not terminate itself, forcefully killing process..."
|
|
|
+ echo && error "QEMU did not terminate itself, forcefully killing process..."
|
|
|
{ kill -9 "$pid" || true; } 2>/dev/null
|
|
|
fi
|
|
|
-
|
|
|
+
|
|
|
done
|
|
|
|
|
|
fi
|