check

diff --git a/src/arm/gnunet-service-manager.c b/src/arm/gnunet-service-manager.c
index d8060c182dcbeb1a841aeec0405d283f8c17dc36..b7095dad54d5822b5f55576210d924cee8b79294 100644 (file)
--- a/src/arm/gnunet-service-manager.c
+++ b/src/arm/gnunet-service-manager.c
@@ -754,7 +754,8 @@ start_forwarding (void *cls,
                                       fc->listen_info->service_addr_len)) &&
        (errno != EINPROGRESS) )
     {
-      GNUNET_NETWORK_socket_close (fc->armServiceSocket);
+      GNUNET_break (GNUNET_OK ==
+                   GNUNET_NETWORK_socket_close (fc->armServiceSocket));
       fc->armServiceSocket = NULL;
       fc->back_off = GNUNET_TIME_relative_multiply (fc->back_off, 2);
   #if DEBUG_SERVICE_MANAGER