fix

diff --git a/src/util/os_priority.c b/src/util/os_priority.c
index 5e641949d263b2a50cf839a8a35e95eefdc11ad5..4d2f98b0020a3f44ef0bbabf8c092c2c51f4b24f 100644 (file)
--- a/src/util/os_priority.c
+++ b/src/util/os_priority.c
@@ -1279,14 +1279,13 @@ struct GNUNET_OS_CommandHandle
 void
 GNUNET_OS_command_stop (struct GNUNET_OS_CommandHandle *cmd)
 {
-  int killed;
 
   if (cmd->proc != NULL)
     {
       GNUNET_assert (GNUNET_SCHEDULER_NO_TASK != cmd->rtask);
       GNUNET_SCHEDULER_cancel (cmd->rtask);
     }
-  killed = GNUNET_OS_process_kill (cmd->eip, SIGKILL);
+  (void) GNUNET_OS_process_kill (cmd->eip, SIGKILL);
   GNUNET_break (GNUNET_OK ==
                GNUNET_OS_process_wait (cmd->eip));
   GNUNET_OS_process_close (cmd->eip);