From: Kyle Hale <kh@u.northwestern.edu>
Date: Wed, 27 Jun 2012 23:55:44 +0000 (-0500)
Subject: make v3_launch fail on ioctl error
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=commitdiff_plain;h=f145a4fa721950a32a3b3019075206adf356b347;p=palacios.releases.git

make v3_launch fail on ioctl error
---

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;
+    }
+