fix

diff --git a/src/arm/gnunet-service-arm.c b/src/arm/gnunet-service-arm.c
index e7db9d2a233a26daf2982e89baced38f26f5c658..834b366208c912d235c3005a50e16b3b4a4b129f 100644 (file)
--- 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;
     }
 }