From d441e5f90d150a1024efe3ffd2a6cc027391a2c6 Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Tue, 8 Dec 2009 12:12:28 +0000
Subject: [PATCH] fix

---
 src/arm/gnunet-service-arm.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/arm/gnunet-service-arm.c b/src/arm/gnunet-service-arm.c
index e7db9d2a2..834b36620 100644
--- a/src/arm/gnunet-service-arm.c
+++ b/src/arm/gnunet-service-arm.c
@@ -728,8 +728,11 @@ shutdown_task (void *cls, const struct GNUNET_SCHEDULER_TaskContext *tc)
   if (running == NULL)
     {
       GNUNET_SERVER_destroy (server);
+      server = NULL;
       GNUNET_SIGNAL_handler_uninstall (shc_chld);
       shc_chld = NULL;
+      GNUNET_SCHEDULER_cancel (sched, child_death_task);
+      child_death_task = GNUNET_SCHEDULER_NO_TASK;
     }
 }
 
-- 
2.25.1