diff options
Diffstat (limited to 'src/util/os_priority.c')
-rw-r--r-- | src/util/os_priority.c | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/src/util/os_priority.c b/src/util/os_priority.c index d27642a58..55a728ce6 100644 --- a/src/util/os_priority.c +++ b/src/util/os_priority.c | |||
@@ -63,10 +63,9 @@ parent_control_handler (void *cls, | |||
63 | GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "`%s' invoked because of %d\n", | 63 | GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "`%s' invoked because of %d\n", |
64 | __FUNCTION__, tc->reason); | 64 | __FUNCTION__, tc->reason); |
65 | #endif | 65 | #endif |
66 | if (tc-> | 66 | if (tc->reason & |
67 | reason & (GNUNET_SCHEDULER_REASON_SHUTDOWN | | 67 | (GNUNET_SCHEDULER_REASON_SHUTDOWN | GNUNET_SCHEDULER_REASON_TIMEOUT | |
68 | GNUNET_SCHEDULER_REASON_TIMEOUT | | 68 | GNUNET_SCHEDULER_REASON_PREREQ_DONE)) |
69 | GNUNET_SCHEDULER_REASON_PREREQ_DONE)) | ||
70 | { | 69 | { |
71 | GNUNET_DISK_npipe_close (control_pipe); | 70 | GNUNET_DISK_npipe_close (control_pipe); |
72 | } | 71 | } |