ugly hack to make matitac not exit when called on a readonly baseuri, but just fail

diff --git a/helm/software/matita/matitacLib.ml b/helm/software/matita/matitacLib.ml
index 0763981c689255cd280a68e3e61e16f9b97e3750..f21b0917a574a6329ea503aadd7c47f360b9bf41 100644 (file)
--- a/helm/software/matita/matitacLib.ml
+++ b/helm/software/matita/matitacLib.ml
@@ -141,7 +141,8 @@ let compile options fname =
       LibraryClean.clean_baseuris [baseuri];
       if (not (Http_getter_storage.is_empty ~local:true baseuri)) then begin
         HLog.error ("Baseuri "^baseuri^" not cleaned! (probably readonly)");
-        exit 1;
+        (* Ugly hack *)
+        raise Sys.Break
       end;
     end;
     (* create dir for XML files *)