diff options
Diffstat (limited to 'src/arm')
-rw-r--r-- | src/arm/gnunet-service-arm.c | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/src/arm/gnunet-service-arm.c b/src/arm/gnunet-service-arm.c index 19e43f464..e357668d3 100644 --- a/src/arm/gnunet-service-arm.c +++ b/src/arm/gnunet-service-arm.c | |||
@@ -688,10 +688,16 @@ clean_up_running () | |||
688 | static void | 688 | static void |
689 | do_shutdown () | 689 | do_shutdown () |
690 | { | 690 | { |
691 | GNUNET_SERVER_destroy (server); | 691 | if (NULL != server) |
692 | server = NULL; | 692 | { |
693 | GNUNET_SCHEDULER_cancel (child_death_task); | 693 | GNUNET_SERVER_destroy (server); |
694 | child_death_task = GNUNET_SCHEDULER_NO_TASK; | 694 | server = NULL; |
695 | } | ||
696 | if (GNUNET_SCHEDULER_NO_TASK != child_death_task) | ||
697 | { | ||
698 | GNUNET_SCHEDULER_cancel (child_death_task); | ||
699 | child_death_task = GNUNET_SCHEDULER_NO_TASK; | ||
700 | } | ||
695 | } | 701 | } |
696 | 702 | ||
697 | #if DELAY_SHUTDOWN | 703 | #if DELAY_SHUTDOWN |