[GNUnet-SVN] r15222 - gnunet/src/arm

[gnunet]

Author: grothoff
Date: 2011-05-12 17:17:32 +0200 (Thu, 12 May 2011)
New Revision: 15222

Modified:
   gnunet/src/arm/gnunet-service-arm.c
Log:
fix

Modified: gnunet/src/arm/gnunet-service-arm.c
===================================================================
--- gnunet/src/arm/gnunet-service-arm.c 2011-05-12 15:02:27 UTC (rev 15221)
+++ gnunet/src/arm/gnunet-service-arm.c 2011-05-12 15:17:32 UTC (rev 15222)
@@ -688,10 +688,16 @@
 static void
 do_shutdown ()
 {
-  GNUNET_SERVER_destroy (server);
-  server = NULL;
-  GNUNET_SCHEDULER_cancel (child_death_task);
-  child_death_task = GNUNET_SCHEDULER_NO_TASK;
+  if (NULL != server)
+    {
+      GNUNET_SERVER_destroy (server);
+      server = NULL;
+    }
+  if (GNUNET_SCHEDULER_NO_TASK != child_death_task)
+    {
+      GNUNET_SCHEDULER_cancel (child_death_task);
+      child_death_task = GNUNET_SCHEDULER_NO_TASK;
+    }
 }
 
 #if DELAY_SHUTDOWN