From 5c4ae18d2e58c8bf3ba60a4f69251e304fbb9915 Mon Sep 17 00:00:00 2001
From: lurchi <lurchi@strangeplace.net>
Date: Tue, 16 Jan 2018 17:30:25 +0100
Subject: [PATCH] call GNUNET_abort_ directly for debugging purposes

---
 src/util/scheduler.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/util/scheduler.c b/src/util/scheduler.c
index 6d4a8b354..6189b745c 100644
--- a/src/util/scheduler.c
+++ b/src/util/scheduler.c
@@ -2293,7 +2293,8 @@ select_loop (void *cls,
       }
     }
     tasks_ready = GNUNET_SCHEDULER_run_from_driver (sh);
-    GNUNET_assert (GNUNET_SYSERR != tasks_ready);
+    if (GNUNET_SYSERR == tasks_ready)
+      GNUNET_abort_ ();
   }
   GNUNET_NETWORK_fdset_destroy (rs);
   GNUNET_NETWORK_fdset_destroy (ws);
-- 
2.25.1