checknull

diff --git a/src/core/gnunet-service-core_clients.c b/src/core/gnunet-service-core_clients.c
index 1216988b334201db545924ab0e50a7ee3d432f9e..5e25ac9070b0f68695e6f5e94e6a27dcca03a0ce 100644 (file)
--- a/src/core/gnunet-service-core_clients.c
+++ b/src/core/gnunet-service-core_clients.c
@@ -813,8 +813,11 @@ GSC_CLIENTS_done ()
 
   while (NULL != (c = client_head))  
     handle_client_disconnect (NULL, c->client_handle);
-  GNUNET_SERVER_notification_context_destroy (notifier);
-  notifier = NULL;
+  if (NULL != notifier)
+  {
+    GNUNET_SERVER_notification_context_destroy (notifier);
+    notifier = NULL;
+  }
   GNUNET_SERVER_mst_destroy (client_mst);
   client_mst = NULL;
 }