let kill pid =
add_to_dead_threads_walking pid;
try
Unix.kill pid kill_signal
with e -> raise (Can_t_kill (pid, Printexc.to_string e))
;;
let kill pid =
add_to_dead_threads_walking pid;
try
Unix.kill pid kill_signal
with e -> raise (Can_t_kill (pid, Printexc.to_string e))
;;