X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=linux_usr%2Fv3_launch.c;fp=linux_usr%2Fv3_launch.c;h=7419a6bb165d58165ea2c1ddffa063163e96c622;hb=f145a4fa721950a32a3b3019075206adf356b347;hp=cab335f358491fbf8854703acd158c5e0b91ced4;hpb=36973b53a5876a555eb59be0b0fb5f1f49686696;p=palacios.git

diff --git a/linux_usr/v3_launch.c b/linux_usr/v3_launch.c
index cab335f..7419a6b 100644
--- a/linux_usr/v3_launch.c
+++ b/linux_usr/v3_launch.c
@@ -18,6 +18,7 @@
 int main(int argc, char* argv[]) {
     int vm_fd = 0;
     char * filename = argv[1];
+    int err;
 
     if (argc <= 1) {
 	printf("usage: v3_launch <vm-device>\n");
@@ -33,7 +34,12 @@ int main(int argc, char* argv[]) {
 	return -1;
     }
 
-    ioctl(vm_fd, V3_VM_LAUNCH, NULL); 
+    err = ioctl(vm_fd, V3_VM_LAUNCH, NULL); 
+    if (err < 0) {
+        printf("Error launching VM\n");
+        return -1;
+    }
+