diff options
-rw-r--r-- | src/util/os_priority.c | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/src/util/os_priority.c b/src/util/os_priority.c index fc11a7abf..6097c9756 100644 --- a/src/util/os_priority.c +++ b/src/util/os_priority.c | |||
@@ -85,14 +85,10 @@ parent_control_handler (void *cls, | |||
85 | GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, | 85 | GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, |
86 | "Got control code %d from parent\n", sig); | 86 | "Got control code %d from parent\n", sig); |
87 | #endif | 87 | #endif |
88 | raise (sig); | ||
89 | #if DEBUG_OS | ||
90 | GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, | ||
91 | "Re-scheduling the parent control handler pipe\n"); | ||
92 | #endif | ||
93 | GNUNET_SCHEDULER_add_read_file (GNUNET_TIME_UNIT_FOREVER_REL, | 88 | GNUNET_SCHEDULER_add_read_file (GNUNET_TIME_UNIT_FOREVER_REL, |
94 | control_pipe, | 89 | control_pipe, |
95 | &parent_control_handler, control_pipe); | 90 | &parent_control_handler, control_pipe); |
91 | raise (sig); | ||
96 | } | 92 | } |
97 | } | 93 | } |
98 | } | 94 | } |