+ (try (* kill thread responsible for "musing_id" *)
+ let slave_thread = Hashtbl.find slaves musing_id in
+ 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)
+ | Not_found ->
+ prerr_endline (sprintf
+ "Can't find slave corresponding to musing %s, can't kill it"
+ musing_id));