Robert Millan <[EMAIL PROTECTED]> writes: >> Please don't. A option that makes GNU Mach halt is ok, the default >> should be "quick reboot". >> >> Does someone think such patch would be useful? >> >> Yes. But only if the current behaviour is left as default. > > Why not sleep for, say, 10 seconds then reboot?
That is what happens now. -- Marco _______________________________________________ Bug-hurd mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-hurd