From 73d29af047847cec430436d20dc88054c6b34521 Mon Sep 17 00:00:00 2001
From: Justus Winter <4winter@informatik.uni-hamburg.de>
Date: Wed, 21 Jan 2015 00:22:38 +0100
Subject: fix patch

---
 debian/patches/pedantic-port-management.patch | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'debian')

diff --git a/debian/patches/pedantic-port-management.patch b/debian/patches/pedantic-port-management.patch
index f1371ef..28a5a69 100644
--- a/debian/patches/pedantic-port-management.patch
+++ b/debian/patches/pedantic-port-management.patch
@@ -1,11 +1,11 @@
-commit 7912cfc77c543de45b2b3e843859e72a48e313f4
+commit b8a37a969944e48d3a1c8ed36c72c51c6f9f7f0f
 Author: Justus Winter <4winter@informatik.uni-hamburg.de>
 Date:   Wed Jan 21 00:09:10 2015 +0100
 
     ipc: be more pedantic XXX
 
 diff --git a/ipc/mach_port.c b/ipc/mach_port.c
-index c7d9b81..7f27533 100644
+index c7d9b81..24db40e 100644
 --- a/ipc/mach_port.c
 +++ b/ipc/mach_port.c
 @@ -570,7 +570,7 @@ mach_port_destroy(
@@ -13,7 +13,7 @@ index c7d9b81..7f27533 100644
  	kr = ipc_right_lookup_write(space, name, &entry);
  	if (kr != KERN_SUCCESS) {
 -		if (name != MACH_PORT_NULL && name != MACH_PORT_DEAD && space == current_space()) {
-+		if (space == current_space()) {
++		if (MACH_PORT_VALID (name) && space == current_space()) {
  			printf("task %.*s destroying an invalid port %lu, most probably a bug.\n", sizeof current_task()->name, current_task()->name, name);
  			if (mach_port_deallocate_debug)
  				SoftDebugger("mach_port_deallocate");
@@ -22,7 +22,7 @@ index c7d9b81..7f27533 100644
  	kr = ipc_right_lookup_write(space, name, &entry);
  	if (kr != KERN_SUCCESS) {
 -		if (name != MACH_PORT_NULL && name != MACH_PORT_DEAD && space == current_space()) {
-+		if (space == current_space()) {
++		if (MACH_PORT_VALID (name) && space == current_space()) {
  			printf("task %.*s deallocating an invalid port %lu, most probably a bug.\n", sizeof current_task()->name, current_task()->name, name);
  			if (mach_port_deallocate_debug)
  				SoftDebugger("mach_port_deallocate");
@@ -32,7 +32,7 @@ index c7d9b81..7f27533 100644
  	kr = ipc_right_lookup_write(space, name, &entry);
 -	if (kr != KERN_SUCCESS)
 +	if (kr != KERN_SUCCESS) {
-+		if (space == current_space()) {
++		if (MACH_PORT_VALID (name) && space == current_space()) {
 +			printf("task %.*s frobnicating an invalid port %lu, most probably a bug.\n", sizeof current_task()->name, current_task()->name, name);
 +			if (mach_port_deallocate_debug)
 +				SoftDebugger("mach_port_mod_refs");
-- 
cgit v1.2.3