> > (well, ports_manage_multithreaded is still necessary, as Mach > > doesn't let you receive messages in the order they were sent easily)
I'm not sure what Marcus means here. Messages are dequeued from a particular port in the order they were sent (if sending was serialized). You can receive on a particular port (or on a portset containing no other ports) and you will get them in order. _______________________________________________ Bug-hurd mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-hurd
