Svante Signell, le Mon 18 Feb 2013 17:13:10 +0100, a écrit : > > This does _hurd_port_free() array position ii, even if it is actually > > undefined since _hurd_port_get returning MACH_PORT_NULL means it didn't > > work (and thus didn't fill the array position). > > So the correct change would be to remove the call to _hurd_port_free()?
Yes. Samuel
