call GNUNET_abort_ directly for debugging purposes
authorlurchi <lurchi@strangeplace.net>
Tue, 16 Jan 2018 16:30:25 +0000 (17:30 +0100)
committerlurchi <lurchi@strangeplace.net>
Tue, 16 Jan 2018 16:32:44 +0000 (17:32 +0100)
src/util/scheduler.c

index 6d4a8b354746e9384135a8918a81c3af5f389eb0..6189b745cb41077ab355212a7075afd9097c54ac 100644 (file)
@@ -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);