diff options
| -rw-r--r-- | hurd/catch-exc.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/hurd/catch-exc.c b/hurd/catch-exc.c index d375bf6789..bec850f9c2 100644 --- a/hurd/catch-exc.c +++ b/hurd/catch-exc.c @@ -35,6 +35,7 @@ _S_catch_exception_raise (mach_port_t port, #endif ) { + error_t err; struct hurd_sigstate *ss; int signo; struct hurd_signal_detail d; @@ -83,6 +84,11 @@ _S_catch_exception_raise (mach_port_t port, MACH_PORT_NULL, MACH_MSG_TYPE_PORT_SEND, 0); + err = __mach_port_deallocate (__mach_task_self (), task); + assert_perror (err); + err = __mach_port_deallocate (__mach_task_self (), thread); + assert_perror (err); + return KERN_SUCCESS; } |