From 444c4bd43efb44fec564249962fc2f4dd91db6e7 Mon Sep 17 00:00:00 2001
From: Justus Winter <4winter@informatik.uni-hamburg.de>
Date: Fri, 21 Nov 2014 14:58:54 +0100
Subject: [PATCH hurd 26/30] fixup_use_pp

---
 libports/destroy-right.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/libports/destroy-right.c b/libports/destroy-right.c
index ed6b66b..9eb29eb 100644
--- a/libports/destroy-right.c
+++ b/libports/destroy-right.c
@@ -53,6 +53,8 @@ ports_destroy_right (void *portstruct)
 
       if (pi->flags & PORT_HAS_SENDRIGHTS)
 	{
+	  pi->flags &= ~PORT_HAS_SENDRIGHTS;
+
 	  /* There are outstanding send rights, so we might get a
 	     no-senders notification.  Attached to the notification
 	     is a reference to the port_info object.  Of course we
-- 
2.1.3