return_file ~fname:url ~contype:"text/plain" ~patch_fun outchan
else
return_html_error ("Can't find DTD: " ^ url) outchan
+;;
+let clean () =
+ let module E = Http_getter_env in
+ List.iter
+ (function dir -> ignore (Unix.system ("rm -rf " ^ dir ^ "/*"))
+ ) [E.cic_dir ; E.nuprl_dir ; E.rdf_dir ]
+;;