-debugging for stdin close

diff --git a/src/testbed/gnunet-service-testbed.c b/src/testbed/gnunet-service-testbed.c
index f368083b542828ea79ad92028137e7aca2b6b66d..9ba145abed8fc77ad007852a066ff9c8217d0611 100644 (file)
--- a/src/testbed/gnunet-service-testbed.c
+++ b/src/testbed/gnunet-service-testbed.c
@@ -1311,6 +1311,21 @@ shutdown_task (void *cls,
 }
 
 
+/**
+ * Debug shutdown task in case of stdin getting closed
+ *
+ * @param cls NULL
+ * @param tc the TaskContext from scheduler
+ */
+static void
+shutdown_task_ (void *cls,
+                const struct GNUNET_SCHEDULER_TaskContext *tc)
+{
+  LOG (GNUNET_ERROR_TYPE_DEBUG, "STDIN closed ...\n");
+  shutdown_task (cls, tc);
+}
+
+
 /**
  * Callback for client disconnect
  *
@@ -1381,7 +1396,7 @@ testbed_run (void *cls,
     shutdown_task_id = 
       GNUNET_SCHEDULER_add_read_file (GNUNET_TIME_UNIT_FOREVER_REL,
                                      fh,
-                                     &shutdown_task,
+                                     &shutdown_task_,
                                      NULL);
   LOG_DEBUG ("Testbed startup complete\n");
 }