Perhaps I can even change GNU Mach so this becomes the default
   behaviour and you can use an argument to switch to the old
   behavior.

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.


_______________________________________________
Bug-hurd mailing list
[EMAIL PROTECTED]
http://mail.gnu.org/mailman/listinfo/bug-hurd

Reply via email to