From fdab43aed64fcfab1ab31821bdef81d17192c0eb Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Wed, 4 Apr 2018 21:46:37 +0200 Subject: [PATCH] vmm_engine: finish renaming Destroy_image -> Destroy_vm (broken since bb61388cfc4b7c3b0ee7ef6501fc6a0cdffdc63f) --- src/vmm_engine.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/vmm_engine.ml b/src/vmm_engine.ml index a403dff..5e67e95 100644 --- a/src/vmm_engine.ml +++ b/src/vmm_engine.ml @@ -223,7 +223,7 @@ let handle_command t s prefix perms hdr buf = let out = Vmm_wire.Client.info data hdr.Vmm_wire.id t.client_version in Ok (t, [ `Tls (s, out) ]) end - | `Destroy_image -> + | `Destroy_vm -> begin match Vmm_resources.find_vm t.resources arg with | Some vm -> Vmm_commands.destroy vm ; @@ -280,7 +280,7 @@ let handle_command t s prefix perms hdr buf = let log_counter = succ t.log_counter in Ok ({ t with log_counter ; log_requests }, [ `Raw (t.log_socket, log_out) ]) end - | _ -> Error (`Msg "NYI") + | `Create_block | `Destroy_block -> Error (`Msg "NYI") end | Some _ -> Error (`Msg "unauthorised command") in