summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--ipc/mach_port.c4
1 files changed, 3 insertions, 1 deletions
diff --git a/ipc/mach_port.c b/ipc/mach_port.c
index 4315e80..14afd42 100644
--- a/ipc/mach_port.c
+++ b/ipc/mach_port.c
@@ -590,6 +590,7 @@ mach_port_destroy(
* KERN_INVALID_RIGHT The right isn't correct.
*/
+static int debug_mach_port_deallocate = 0;
kern_return_t
mach_port_deallocate(
ipc_space_t space,
@@ -605,7 +606,8 @@ mach_port_deallocate(
if (kr != KERN_SUCCESS) {
if (name != MACH_PORT_NULL && name != MACH_PORT_DEAD) {
printf("task %p deallocating an invalid port %u, most probably a bug.\n", current_task(), name);
- SoftDebugger("mach_port_deallocate");
+ if (debug_mach_port_deallocate)
+ SoftDebugger("mach_port_deallocate");
}
return kr;
}