Heh. Probably fixed now, but I haven't tried it. Of course, that code was never intended to be all that useful, just better than busy-waiting. But it shouldn't panic.
_______________________________________________ Bug-hurd mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-hurd
