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
..
Makefile
reboot.8	Make halt and reboot wait up to 32 seconds after kill(-1, SIGTERM), but	1998-07-03 13:59:56 +00:00
reboot.c	Ignore some more signal during the reboot. Without this fix it's impossible	1998-08-29 11:17:20 +00:00