It's not totally clear to me what all your debug printfs mean. When using a modified version of the program, please include your changes so we can see exactly what your program was printing. I can't tell whether your output includes all the essential information from the mach_msg_header_t details of the incoming message.
It's most useful to use hex for printing port names (mach_port_t). The kernel tends to assign names that have more zeros when printed in hex than in decimal. And it also makes it more obvious when there is a really suspicious value like all the `sent_to' values in your output, which look like pointers rather than likely port names. _______________________________________________ Bug-hurd mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-hurd
