diff options
| author | lurchi <lurchi@strangeplace.net> | 2018-01-16 17:30:25 +0100 |
|---|---|---|
| committer | lurchi <lurchi@strangeplace.net> | 2018-01-16 17:32:44 +0100 |
| commit | 5c4ae18d2e58c8bf3ba60a4f69251e304fbb9915 (patch) | |
| tree | 29e9eb9a34e1d68a7bd587585889216104c13a4e /src/util/scheduler.c | |
| parent | 7dd69dfb57154d77144bc46a393b6b95ea0f911e (diff) | |
| download | gnunet-5c4ae18d2e58c8bf3ba60a4f69251e304fbb9915.tar.gz gnunet-5c4ae18d2e58c8bf3ba60a4f69251e304fbb9915.zip | |
call GNUNET_abort_ directly for debugging purposes
Diffstat (limited to 'src/util/scheduler.c')
| -rw-r--r-- | src/util/scheduler.c | 3 |
1 files changed, 2 insertions, 1 deletions
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, | |||
| 2293 | } | 2293 | } |
| 2294 | } | 2294 | } |
| 2295 | tasks_ready = GNUNET_SCHEDULER_run_from_driver (sh); | 2295 | tasks_ready = GNUNET_SCHEDULER_run_from_driver (sh); |
| 2296 | GNUNET_assert (GNUNET_SYSERR != tasks_ready); | 2296 | if (GNUNET_SYSERR == tasks_ready) |
| 2297 | GNUNET_abort_ (); | ||
| 2297 | } | 2298 | } |
| 2298 | GNUNET_NETWORK_fdset_destroy (rs); | 2299 | GNUNET_NETWORK_fdset_destroy (rs); |
| 2299 | GNUNET_NETWORK_fdset_destroy (ws); | 2300 | GNUNET_NETWORK_fdset_destroy (ws); |