diff options
| -rw-r--r-- | debian/patches/proc_disable_new_task_notifications.patch | 19 |
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. */ |