X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=linux_usr%2Fv3_launch.c;h=7419a6bb165d58165ea2c1ddffa063163e96c622;hb=f31b4ee024b09ded6a5be33a33cca0e2e756b63d;hp=6eb4ddeb3a72647309c087e7d7092aafeaa542fe;hpb=0b342d28c860e4b3911b529f5363d35faa86aa25;p=palacios.releases.git

diff --git a/linux_usr/v3_launch.c b/linux_usr/v3_launch.c
index 6eb4dde..7419a6b 100644
--- a/linux_usr/v3_launch.c
+++ b/linux_usr/v3_launch.c
@@ -18,9 +18,10 @@
 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");
+	printf("usage: v3_launch <vm-device>\n");
 	return -1;
     }
 
@@ -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;
+    }
+