quit if the monitor is quitting

diff --git a/xenvm/xenvm.ml b/xenvm/xenvm.ml
index 38e440043a5e62b1535d54ea474c273798ed8f65..99a5c1dffffeb7bc69ec4e9e71d8d3de33dbfbab 100644 (file)
--- 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;