X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=src%2Fmain.ml;fp=src%2Fmain.ml;h=62ea68ac239b4ac421385b1f3411fddb0c40da38;hb=60c2061059e1d1c246df02733ab570a1af662f5f;hp=63dac2bbfe658fd353e948133e29dfc9ed26ddd3;hpb=81394242a7d6a47fad6d84ce33d488d38de2647a;p=goals.git

diff --git a/src/main.ml b/src/main.ml
index 63dac2b..62ea68a 100644
--- 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