more extensive error reporting

1 files changed, 7 insertions, 1 deletions

diff --git a/src/util/scheduler.c b/src/util/scheduler.c
index 2f300f4bd..81f7d8cf0 100644
--- a/src/util/scheduler.c
+++ b/src/util/scheduler.c
@@ -911,7 +911,13 @@ GNUNET_SCHEDULER_cancel (GNUNET_SCHEDULER_TaskIdentifier task)
   while (t == NULL)
     {
       p++;
-      GNUNET_assert (p < GNUNET_SCHEDULER_PRIORITY_COUNT);
+      if (p >= GNUNET_SCHEDULER_PRIORITY_COUNT)
+        {
+          GNUNET_log (GNUNET_ERROR_TYPE_ERROR,
+                      _("Attempt to cancel dead task %llu!\n"),
+                      (unsigned long long) task);
+          GNUNET_assert (0);
+        }
       prev = NULL;
       t = ready[p];
       while (t != NULL)