From 9d360141d21175b260815e9330d60b1dbc96ef44 Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Mon, 11 Jul 2011 14:35:34 +0000
Subject: [PATCH] fix

---
 src/util/os_priority.c | 3 +--
 1 file changed, 1 insertion(+), 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
 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);
-- 
2.25.1