From 015ad2bb1d78985a255adc1260a8a3f210dcb869 Mon Sep 17 00:00:00 2001
From: lurchi <lurchi@strangeplace.net>
Date: Tue, 16 Jan 2018 18:10:08 +0100
Subject: [PATCH] Revert "call GNUNET_abort_ directly for debugging purposes"

This reverts commit 5c4ae18d2e58c8bf3ba60a4f69251e304fbb9915.
---
 src/util/scheduler.c | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

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