]> xenbits.xen.org Git - xenclient/toolstack.git/commitdiff
Return with error code if caught exception
authorTomasz Wroblewski <tomasz.wroblewski@citrix.com>
Fri, 13 Nov 2009 15:30:33 +0000 (15:30 +0000)
committerTomasz Wroblewski <tomasz.wroblewski@citrix.com>
Fri, 13 Nov 2009 15:30:33 +0000 (15:30 +0000)
xenvm/xenvm_cmd.ml

index 6b4a078a941846e85ab3a04bd65a9ff4911d4f11..9f63af7818167ab6f7f338e83b4bc1696e665497 100644 (file)
@@ -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