diff options
author | Philippe Caseiro <pcaseiro@cadoles.com> | 2012-12-03 23:38:28 +0100 |
---|---|---|
committer | Dominique Martinet <asmadeus@codewreck.org> | 2013-04-10 08:14:15 +0200 |
commit | 6cefae8b91a49a4017536e2e6757ec118b982a6d (patch) | |
tree | 6ff32f1a647b9758c40938163090069680d9d3f1 | |
parent | 66b11d22627e7fbad5641896fbabc35a4fb8ebc9 (diff) |
Allow a VM to run if the pid file exists but the VM isn't running
-rwxr-xr-x | kvm-wrapper.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kvm-wrapper.sh b/kvm-wrapper.sh index 50d91f9..9605389 100755 --- a/kvm-wrapper.sh +++ b/kvm-wrapper.sh @@ -540,7 +540,7 @@ function kvm_start_vm () # More sanity checks: VM running, monitor socket existing, etc. if [[ -z "$FORCE" ]]; then - test_exist "$PID_FILE" && fail_exit "VM $VM_NAME seems to be running already.\nPID file $PID_FILE exists" + test_pid_from_file "$PID_FILE" && fail_exit "VM $VM_NAME seems to be running already.\nPID file $PID_FILE exists" rm -rf "$MONITOR_FILE" rm -rf "$SERIAL_FILE" test_socket "$MONITOR_FILE" && fail_exit "Monitor socket $MONITOR_FILE already existing and couldn't be removed" |