diff options
Diffstat (limited to 'src/util/os_priority.c')
-rw-r--r-- | src/util/os_priority.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/util/os_priority.c b/src/util/os_priority.c index d499ed985..1466ce059 100644 --- a/src/util/os_priority.c +++ b/src/util/os_priority.c | |||
@@ -229,6 +229,9 @@ GNUNET_OS_process_kill (struct GNUNET_OS_Process *proc, int sig) | |||
229 | case SIGINT: | 229 | case SIGINT: |
230 | case SIGKILL: | 230 | case SIGKILL: |
231 | case SIGTERM: | 231 | case SIGTERM: |
232 | #if (SIGTERM != GNUNET_TERM_SIG) | ||
233 | case GNUNET_TERM_SIG: | ||
234 | #endif | ||
232 | #if defined(WINDOWS) && !defined(__CYGWIN__) | 235 | #if defined(WINDOWS) && !defined(__CYGWIN__) |
233 | { | 236 | { |
234 | DWORD exitcode; | 237 | DWORD exitcode; |