diff options
| -rw-r--r-- | lwip/startup.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/lwip/startup.c b/lwip/startup.c index b5d9f763..262dee5b 100644 --- a/lwip/startup.c +++ b/lwip/startup.c @@ -58,7 +58,10 @@ arrange_shutdown_notification (void) initport = file_name_lookup (_SERVERS_STARTUP, 0, 0); if (initport == MACH_PORT_NULL) - return; + { + ports_port_deref (pi); + return; + } notify = ports_get_send_right (pi); ports_port_deref (pi); |