From e880ba77fc1916acce7878056ab5e55c2a7d18da Mon Sep 17 00:00:00 2001
From: Justus Winter <4winter@informatik.uni-hamburg.de>
Date: Wed, 18 Feb 2015 11:31:47 +0100
Subject: add proc_disable_new_task_notifications.patch

---
 .../patches/proc_disable_new_task_notifications.patch | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)
 create mode 100644 debian/patches/proc_disable_new_task_notifications.patch

diff --git a/debian/patches/proc_disable_new_task_notifications.patch b/debian/patches/proc_disable_new_task_notifications.patch
new file mode 100644
index 00000000..5a248dba
--- /dev/null
+++ b/debian/patches/proc_disable_new_task_notifications.patch
@@ -0,0 +1,19 @@
+diff --git a/proc/main.c b/proc/main.c
+index 6df4141..29517fc 100644
+--- a/proc/main.c
++++ b/proc/main.c
+@@ -158,12 +158,13 @@ main (int argc, char **argv, char **envp)
+   if (err)
+     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
+        to panic or something.  */
-- 
cgit v1.2.3