add proc_disable_new_task_notifications.patch

1 files changed, 19 insertions, 0 deletions

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.  */