jobs: Introduce stop_all function to stop job submission on error.

[goals.git] / src / main.ml

diff --git a/src/main.ml b/src/main.ml
index 63dac2b..62ea68a 100644 (file)
--- a/src/main.ml
+++ b/src/main.ml
@@ -81,4 +81,6 @@ let () =
   try main ()
   with
     Failure msg | Sys_error msg ->
-      prerr_endline ("error: " ^ msg); exit 1
+      Run.stop_all ();
+      prerr_endline ("*** error: " ^ msg);
+      exit 1