use the new check function to check for xenvm

diff --git a/xenvm/xenvm.ml b/xenvm/xenvm.ml
index d912e311b05a18f7801120386375ee75d348453e..38e440043a5e62b1535d54ea474c273798ed8f65 100644 (file)
--- a/xenvm/xenvm.ml
+++ b/xenvm/xenvm.ml
@@ -135,17 +135,7 @@ let check_vm_uuid uuid =
        )
 
 let check_vm uuid =
-       let is_running =
-               try
-                       let reply = Xenvmlib.request ~timeout:10. uuid ("status", []) in
-                       begin match reply with
-                       | Xenvmlib.Msg _ -> ()
-                       | _              -> ()
-                       end;
-                       true
-               with Xenvmlib.Connect_refused s ->
-                       false
-               in
+       let is_running = Xenvmlib.check ~timeout:10. uuid in
        if is_running then (
                info "VM is already handled by another xenvm";
                exit 1;