Fix status after invoking "destroy" -> needs to be shutdown

diff --git a/xenvm/xenvm.ml b/xenvm/xenvm.ml
index 715f1a7c343eb2c47b5c749076dd70b5cf938d83..387c4e2e6104c8c3f07c4977287f940620a0bf07 100644 (file)
--- a/xenvm/xenvm.ml
+++ b/xenvm/xenvm.ml
@@ -408,7 +408,7 @@ let do_task state (task, args) =
                notify_quit state; Xenvmlib.Ok
        | Tasks.Help ->
                do_help ();
-       | Tasks.Destroy -> with_xcs (fun xc xs -> Vmact.stop_vm xc xs state); Xenvmlib.Ok
+       | Tasks.Destroy -> with_xcs (fun xc xs -> Vmact.stop_vm xc xs state; Vmact.change_vmstate state VmShutdown); Xenvmlib.Ok
        | Tasks.Halt ->
                let force = optional_arg false Tasks.args_get_bool args "forced" in
                with_xcs (fun xc xs ->