diff options
author | Michael I. Bushnell <mib@gnu.org> | 1996-06-24 20:29:18 +0000 |
---|---|---|
committer | Michael I. Bushnell <mib@gnu.org> | 1996-06-24 20:29:18 +0000 |
commit | 202298cce2b9a5be84a523544f6dc665546e6a43 (patch) | |
tree | 4e174b65101d87062fe4be527b7d7e27897ac488 /init/init.c | |
parent | 8ea3ba7a19697c9b87270bc201c177f9893efd5a (diff) |
(kill_multi_user): Kill user tasks before doing notify_shutdown.
Diffstat (limited to 'init/init.c')
-rw-r--r-- | init/init.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/init/init.c b/init/init.c index e85c1e1a..0198a4d4 100644 --- a/init/init.c +++ b/init/init.c @@ -1251,13 +1251,13 @@ kill_multi_user () free_ttys (); - /* Notify tasks that they are about to die. */ - notify_shutdown ("transition to single-user"); - for (stage = 0; stage < 3; stage++) if (kill_everyone (sigs[stage])) break; + /* Notify tasks that they are about to die. */ + notify_shutdown ("transition to single-user"); + if (stage == 3) error (0, 0, "warning: some processes wouldn't die; `ps -axlM' advised"); } |