diff options
Diffstat (limited to 'debian/patches/0026-fixup_use_pp.patch')
| -rw-r--r-- | debian/patches/0026-fixup_use_pp.patch | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/debian/patches/0026-fixup_use_pp.patch b/debian/patches/0026-fixup_use_pp.patch new file mode 100644 index 00000000..d1236af1 --- /dev/null +++ b/debian/patches/0026-fixup_use_pp.patch @@ -0,0 +1,25 @@ +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 + |