exception Can_t_kill of Thread.t * string (* thread, reason *)
exception Thread_not_found of Thread.t
exception Can_t_kill of Thread.t * string (* thread, reason *)
exception Thread_not_found of Thread.t
| sg when (sg = kill_signal) &&
(PidSet.mem myself !dead_threads_walking) ->
dead_threads_walking := PidSet.remove myself !dead_threads_walking;
| sg when (sg = kill_signal) &&
(PidSet.mem myself !dead_threads_walking) ->
dead_threads_walking := PidSet.remove myself !dead_threads_walking;