From 9f674f7e6f6fc06ed7af7fcfd6de7937669a7f56 Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Thu, 1 Nov 2018 01:23:45 +0100 Subject: [PATCH] forgot loop on this exit in add_policy --- src/vmm_vmmd.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/vmm_vmmd.ml b/src/vmm_vmmd.ml index 7b32720..eaee759 100644 --- a/src/vmm_vmmd.ml +++ b/src/vmm_vmmd.ml @@ -116,7 +116,7 @@ let handle_command t (header, payload) = | Some p' -> eq_policy policy p' in if same_policy then - Ok (t, [ reply (`String "no modification of policy") ], `End) + Ok (t, [ reply (`String "no modification of policy") ], `Loop) else Vmm_resources.insert_policy t.resources id policy >>= fun resources -> Ok ({ t with resources }, [ reply (`String "added policy") ], `Loop)