[hurd] 03/06: disable_new_task_notification.diff: Drop, port leak is fixed

[Samuel Thibault]

This is an automated email from the git hooks/post-receive script.

sthibault pushed a commit to branch master
in repository hurd.

commit 263b054d225085ccc2b490c18c51e06d4741172d
Author: Samuel Thibault <address@hidden>
Date:   Sun Nov 20 19:50:02 2016 +0000

    disable_new_task_notification.diff: Drop, port leak is fixed
---
 debian/changelog                                  |  1 +
 debian/patches/disable_new_task_notification.diff | 22 ----------------------
 debian/patches/series                             |  1 -
 3 files changed, 1 insertion(+), 23 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index b59fac2..ed95b3b 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -2,6 +2,7 @@ hurd (1:0.8.git20161120-1) UNRELEASED; urgency=medium
 
   * New upstream snapshot.
   * Bump gnumach-dev build dependency.
+  * disable_new_task_notification.diff: Drop, port leak is fixed.
 
  -- Samuel Thibault <address@hidden>  Wed, 16 Nov 2016 23:08:59 +0100
 
diff --git a/debian/patches/disable_new_task_notification.diff 
b/debian/patches/disable_new_task_notification.diff
deleted file mode 100644
index e5d11cf..0000000
--- a/debian/patches/disable_new_task_notification.diff
+++ /dev/null
@@ -1,22 +0,0 @@
-Disable new task notification for now: it leaks a port:
-
-http://lists.gnu.org/archive/html/bug-hurd/2015-02/msg00043.html
-
-Index: hurd-debian/proc/main.c
-===================================================================
---- hurd-debian.orig/proc/main.c
-+++ hurd-debian/proc/main.c
-@@ -163,11 +163,13 @@ main (int argc, char **argv, char **envp
-   if (err && err != EPERM)
-     error (0, err, "Increasing priority failed");
- 
-+#if 0
-   err = register_new_task_notification (_hurd_host_priv,
-                                       generic_port,
-                                       MACH_MSG_TYPE_MAKE_SEND);
-   if (err)
-     error (0, err, "Registering task notifications failed");
-+#endif
- 
-   {
-     /* Get our stderr set up to print on the console, in case we have
diff --git a/debian/patches/series b/debian/patches/series
index 6380222..2d3433f 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -19,7 +19,6 @@ exec_filename_fix.patch
 mount.patch
 MAKEDEV-apm.patch
 term-for-tcl.patch
-disable_new_task_notification.diff
 newRPC.patch
 dl_origin.patch
 cross-link.patch

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-hurd/hurd.git