fix

diff --git a/src/arm/gnunet-service-arm.c b/src/arm/gnunet-service-arm.c
index 4ee7a34ab197dd4cc646d375ae800de593e00b18..e7db9d2a233a26daf2982e89baced38f26f5c658 100644 (file)
--- a/src/arm/gnunet-service-arm.c
+++ b/src/arm/gnunet-service-arm.c
@@ -726,7 +726,11 @@ shutdown_task (void *cls, const struct GNUNET_SCHEDULER_TaskContext *tc)
       pos = next;
     }
   if (running == NULL)
-    GNUNET_SERVER_destroy (server);
+    {
+      GNUNET_SERVER_destroy (server);
+      GNUNET_SIGNAL_handler_uninstall (shc_chld);
+      shc_chld = NULL;
+    }
 }
 
 
@@ -889,6 +893,7 @@ maint_child_death (void *cls, const struct GNUNET_SCHEDULER_TaskContext *tc)
     {
       GNUNET_SERVER_destroy (server);
       GNUNET_SIGNAL_handler_uninstall (shc_chld);
+      shc_chld = NULL;
     }
   else
     {