X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=linux_usr%2Fv3_free.c;h=293befa148f3e1e05f96dab2dc9dfbd65ab5c3bf;hb=cbbdb1c69dae70c0d8b836a3d9ff92e2aa67f1f9;hp=4746c21c165c3e3cb64d7648edc376324174b195;hpb=008fdde9a6a6ec65b7647d9eec487448094d7f18;p=palacios.git

diff --git a/linux_usr/v3_free.c b/linux_usr/v3_free.c
index 4746c21..293befa 100644
--- a/linux_usr/v3_free.c
+++ b/linux_usr/v3_free.c
@@ -9,18 +9,24 @@
 
 int main(int argc, char* argv[]) {
     unsigned long vm_idx = 0;
+    char *idx;
     int ret;
 
     if (argc <= 1) 
-	v3_usage("<vm-dev-idx>\n");
+	v3_usage("<vm-dev-idx>|<vm-dev>\n");
 
+    if (!(idx=strstr(argv[1],"v3-vm"))) { 
+	idx=argv[1];
+    } else {
+        idx+=5;
+    }
 
-    vm_idx = strtol(argv[1], NULL, 0);
+    vm_idx = strtol(idx, NULL, 0);
 
     printf("Freeing VM %d\n", vm_idx);
     
     if (v3_dev_ioctl(V3_FREE_GUEST, vm_idx) < 0) {
-        fprintf(stderr, "Error freeing VM %d\n", vm_idx);
+        fprintf(stderr, "Error freeing VM %d (%s)\n", vm_idx,argv[1]);
         return -1;
     }