From 5614c4d1217fcf6eafa2d97c2940c9e64d5c1e51 Mon Sep 17 00:00:00 2001
From: Vincent Hanquez <vincent.hanquez@eu.citrix.com>
Date: Mon, 17 Aug 2009 13:12:08 +0100
Subject: [PATCH] quit if the monitor is quitting

---
 xenvm/xenvm.ml | 1 +
 1 file changed, 1 insertion(+)

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;
-- 
2.39.5