Helm_registry.load_from "matita.conf.xml";
Http_getter.init ();
MetadataTypes.ownerize_tables (Helm_registry.get "matita.owner");
+(*
MatitaDb.clean_owner_environment ();
MatitaDb.create_owner_environment ();
+*)
status := Some (ref (Lazy.force MatitaEngine.initial_status));
at_exit
(fun () ->
exit 0
end
with
- | Sys.Break -> MatitaLog.error "user break!"; exit ~-1
+ | Sys.Break ->
+ MatitaLog.error "user break!";
+ if mode = `COMPILER then
+ exit ~-1
+ else
+ pp_ocaml_mode ()
| MatitaEngine.Drop ->
if mode = `COMPILER then
exit 1
if mode = `COMPILER then
exit 1
else
- go ()
+ pp_ocaml_mode ()