From 1d289b9b38f7da8c2859491f91dacb717cf82501 Mon Sep 17 00:00:00 2001
From: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date: Sun, 28 May 2023 16:33:27 +0200
Subject: lwip: Fix port leak on /servers/startup lookup error

---
 lwip/startup.c | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

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);
-- 
cgit v1.2.3