diff --git a/servers/pm/signal.c b/servers/pm/signal.c index f555444fa..278ad716d 100644 --- a/servers/pm/signal.c +++ b/servers/pm/signal.c @@ -274,8 +274,10 @@ sigset_t sig_map; case SIGQUIT: case SIGWINCH: id = 0; break; /* broadcast to process group */ +#if 0 case SIGKILL: id = -1; break; /* broadcast to all except INIT */ +#endif default: id = proc_id; break;