From: Vincent Hanquez <vincent.hanquez@eu.citrix.com>
Date: Mon, 17 Aug 2009 12:12:08 +0000 (+0100)
Subject: quit if the monitor is quitting
X-Git-Url: http://xenbits.xensource.com/gitweb?a=commitdiff_plain;h=5614c4d1217fcf6eafa2d97c2940c9e64d5c1e51;p=xenclient%2Ftoolstack.git

quit if the monitor is quitting
---

diff --git a/xenvm/xenvm.ml b/xenvm/xenvm.ml
index 38e4400..99a5c1d 100644
--- a/xenvm/xenvm.ml
+++ b/xenvm/xenvm.ml
@@ -632,6 +632,7 @@ let monitor_rpc_json socket state =
 			)
 		) !connections;
 	done;
+	notify_quit state;
 	if state.vm_domid <> (-1) then (
 		with_xcs (fun xc xs ->
 			Vmact.stop_vm xc xs state;