vmm_engine: finish renaming Destroy_image -> Destroy_vm (broken since bb61388cfc)

This commit is contained in:
Hannes Mehnert 2018-04-04 21:46:37 +02:00
parent 7a4661b2e1
commit fdab43aed6

View file

@ -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 let out = Vmm_wire.Client.info data hdr.Vmm_wire.id t.client_version in
Ok (t, [ `Tls (s, out) ]) Ok (t, [ `Tls (s, out) ])
end end
| `Destroy_image -> | `Destroy_vm ->
begin match Vmm_resources.find_vm t.resources arg with begin match Vmm_resources.find_vm t.resources arg with
| Some vm -> | Some vm ->
Vmm_commands.destroy 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 let log_counter = succ t.log_counter in
Ok ({ t with log_counter ; log_requests }, [ `Raw (t.log_socket, log_out) ]) Ok ({ t with log_counter ; log_requests }, [ `Raw (t.log_socket, log_out) ])
end end
| _ -> Error (`Msg "NYI") | `Create_block | `Destroy_block -> Error (`Msg "NYI")
end end
| Some _ -> Error (`Msg "unauthorised command") | Some _ -> Error (`Msg "unauthorised command")
in in