+ (* we dalay this error check until we print 'matitac file ' *)
+ if (not (Http_getter_storage.is_empty ~local:true baseuri)) then begin
+ HLog.error ("Baseuri "^baseuri^" not cleaned! (probably readonly)");
+ (* Ugly hack *)
+ raise Sys.Break
+ end;
+ (* create dir for XML files *)
+ if not (Helm_registry.get_opt_default Helm_registry.bool "matita.nodisk"
+ ~default:false)
+ then
+ HExtlib.mkdir
+ (Filename.dirname
+ (Http_getter.filename ~local:true ~writable:true (baseuri ^
+ "foo.con")));