X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm.c;h=e9a3a9df7d1f22fe2af3179cb60d92376e9714b5;hb=d597d493eb303496f3bb32e2a73a094a8a20a022;hp=21ca4085662700198e357b2037142fa8e354c2e9;hpb=06ad2088c1bf59d4d6d11986d4de2195e64baaac;p=palacios.git

diff --git a/palacios/src/palacios/vmm.c b/palacios/src/palacios/vmm.c
index 21ca408..e9a3a9d 100644
--- a/palacios/src/palacios/vmm.c
+++ b/palacios/src/palacios/vmm.c
@@ -256,9 +256,7 @@ int v3_start_vm(struct v3_vm_info * vm, unsigned int cpu_mask) {
     int vcore_id = 0;
 
 
-    if (vm->run_state == VM_RUNNING ||
-        vm->run_state == VM_INVALID ||
-        vm->run_state == VM_ERROR) {
+    if (vm->run_state != VM_STOPPED) {
         PrintError("VM has already been launched (state=%d)\n", (int)vm->run_state);
         return -1;
     }