use with_xcs instead of inlining what it does.

diff --git a/xenvm/xenvm.ml b/xenvm/xenvm.ml
index 66130a6ba594bffd09f492db25457ef0e7e676b2..ec01fc907630cb6d5edbe8e3f0daa24a22e1c2a4 100644 (file)
--- a/xenvm/xenvm.ml
+++ b/xenvm/xenvm.ml
@@ -607,10 +607,10 @@ let monitor_rpc socket state =
                ) !connections;
        done;
        if state.vm_domid <> (-1) then (
-               let xs = Xs.daemon_open () in
-               let xc = Xc.interface_open () in
-               Vmact.stop_vm xc xs state;
-               Vmact.change_vmstate state VmShutdown
+               with_xcs (fun xc xs ->
+                       Vmact.stop_vm xc xs state;
+                       Vmact.change_vmstate state VmShutdown
+               )
        )
 
 (*