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 /pfinet/main.c | |
| parent | 8ea3ba7a19697c9b87270bc201c177f9893efd5a (diff) | |
| download | hurd-202298cce2b9a5be84a523544f6dc665546e6a43.tar.gz hurd-202298cce2b9a5be84a523544f6dc665546e6a43.tar.bz2 hurd-202298cce2b9a5be84a523544f6dc665546e6a43.zip | |
(kill_multi_user): Kill user tasks before doing notify_shutdown.
Diffstat (limited to 'pfinet/main.c')
0 files changed, 0 insertions, 0 deletions