From e315dd54651c36e6f99a5c524bec3ce8d8685658 Mon Sep 17 00:00:00 2001 From: Tomasz Wroblewski Date: Fri, 13 Nov 2009 15:30:33 +0000 Subject: [PATCH] Return with error code if caught exception --- xenvm/xenvm_cmd.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/xenvm/xenvm_cmd.ml b/xenvm/xenvm_cmd.ml index 6b4a078..9f63af7 100644 --- a/xenvm/xenvm_cmd.ml +++ b/xenvm/xenvm_cmd.ml @@ -52,4 +52,4 @@ let _ = | Xenvmlib.Unknown s -> eprintf "warning: unknown answer: \"%s\"\n" s with | Xenvmlib.Write_timeout -> eprintf "cannot send command to xenvm. it is dead ?\n"; exit 1 - | exn -> eprintf "receive exception: %s\n" (Printexc.to_string exn) + | exn -> eprintf "receive exception: %s\n" (Printexc.to_string exn); exit 1 -- 2.39.5