type xml_kind = Body | Type;;
let mk_dtdname ~ask_dtd_to_the_getter dtd =
if ask_dtd_to_the_getter then
- Configuration.getter_url ^ "getdtd?uri=" ^ dtd
+ Helm_registry.get "getter.url" ^ "getdtd?uri=" ^ dtd
else
"http://mowgli.cs.unibo.it/dtd/" ^ dtd
;;
Hbugs_deity.kill slave_thread;
Hashtbl.remove slaves musing_id
with
- | Hbugs_deity.Can_t_kill (pid, reason) ->
- prerr_endline (sprintf "Unable to kill slave %d: %s" pid reason)
+ | Hbugs_deity.Can_t_kill (_, reason) ->
+ prerr_endline (sprintf "Unable to kill slave: %s" reason)
| Not_found ->
prerr_endline (sprintf
"Can't find slave corresponding to musing %s, can't kill it"