blob: 5a248dba0c738bb5f931d4fe5b537b0d2f0f5493 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
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. */
|
