diff options
-rw-r--r-- | src/util/os_priority.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/util/os_priority.c b/src/util/os_priority.c index 5e641949d..4d2f98b00 100644 --- a/src/util/os_priority.c +++ b/src/util/os_priority.c | |||
@@ -1279,14 +1279,13 @@ struct GNUNET_OS_CommandHandle | |||
1279 | void | 1279 | void |
1280 | GNUNET_OS_command_stop (struct GNUNET_OS_CommandHandle *cmd) | 1280 | GNUNET_OS_command_stop (struct GNUNET_OS_CommandHandle *cmd) |
1281 | { | 1281 | { |
1282 | int killed; | ||
1283 | 1282 | ||
1284 | if (cmd->proc != NULL) | 1283 | if (cmd->proc != NULL) |
1285 | { | 1284 | { |
1286 | GNUNET_assert (GNUNET_SCHEDULER_NO_TASK != cmd->rtask); | 1285 | GNUNET_assert (GNUNET_SCHEDULER_NO_TASK != cmd->rtask); |
1287 | GNUNET_SCHEDULER_cancel (cmd->rtask); | 1286 | GNUNET_SCHEDULER_cancel (cmd->rtask); |
1288 | } | 1287 | } |
1289 | killed = GNUNET_OS_process_kill (cmd->eip, SIGKILL); | 1288 | (void) GNUNET_OS_process_kill (cmd->eip, SIGKILL); |
1290 | GNUNET_break (GNUNET_OK == | 1289 | GNUNET_break (GNUNET_OK == |
1291 | GNUNET_OS_process_wait (cmd->eip)); | 1290 | GNUNET_OS_process_wait (cmd->eip)); |
1292 | GNUNET_OS_process_close (cmd->eip); | 1291 | GNUNET_OS_process_close (cmd->eip); |