Fix spurious port deallocation

* proc/mgt.c (S_proc_exception_raise): On proc_exception_raise forwarding
error, return MIG_NO_REPLY instead of 0, since the reply port may have been
consumed, and the task is being terminated anyway.

1 files changed, 1 insertions, 1 deletions

diff --git a/proc/mgt.c b/proc/mgt.c
index 5373d101..1180c700 100644
--- a/proc/mgt.c
+++ b/proc/mgt.c
@@ -499,7 +499,7 @@ S_proc_exception_raise (mach_port_t excport,
 
       mach_port_destroy (mach_task_self (), thread);
 
-      return 0;
+      return MIG_NO_REPLY;
     }
 
 }