From 9358629d43d209c201a1d3520f0fb38a934e62cb Mon Sep 17 00:00:00 2001 From: Vincent Hanquez Date: Mon, 20 Jul 2009 10:54:36 +0100 Subject: [PATCH] use with_xcs instead of inlining what it does. --- xenvm/xenvm.ml | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/xenvm/xenvm.ml b/xenvm/xenvm.ml index 66130a6..ec01fc9 100644 --- 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 + ) ) (* -- 2.39.5