diff options
Diffstat (limited to 'debian/patches')
| -rw-r--r-- | debian/patches/proc_exception.patch | 19 | ||||
| -rw-r--r-- | debian/patches/series | 1 |
2 files changed, 0 insertions, 20 deletions
diff --git a/debian/patches/proc_exception.patch b/debian/patches/proc_exception.patch deleted file mode 100644 index 9b6110cc..00000000 --- a/debian/patches/proc_exception.patch +++ /dev/null @@ -1,19 +0,0 @@ -If proc_exception_raise() actually managed to sent its message, the reply port -has already been consumed, so we can't send a reply to the requester any more... - -TODO: this introduces leaks in some cases ; check in which error cases -proc_exception_raise() has consumed the reply port anyway. - -diff --git a/proc/mgt.c b/proc/mgt.c -index 5373d10..1180c70 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; - } - - } diff --git a/debian/patches/series b/debian/patches/series index 59151900..9a7e4bce 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -31,4 +31,3 @@ auth-intr-cure.patch libpager_deadlock.patch libdiskfs_self-reauth.patch libdiskfs_sync.patch -proc_exception.patch |