Disabled special processing of KILL signals that are passed to pm by the kernel

diff --git a/servers/pm/signal.c b/servers/pm/signal.c
index f555444faf0438d43d577c749d342cbd257f6c5a..278ad716d07ea922334a460cda1cfcaaa1e25933 100644 (file)
--- 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;