augustss 91b9544ee2 Ignore some more signal during the reboot. Without this fix it's impossible
to e.g. reboot from a menu in the window manager as the reboot process
gets killed before it is done.
1998-08-29 11:17:20 +00:00
..