speed up running of tasks via GNUNTE_SCHEDULER_add_now() by a factor of at least 5
authorChristian Grothoff <christian@grothoff.org>
Tue, 4 Feb 2020 17:56:17 +0000 (18:56 +0100)
committerChristian Grothoff <christian@grothoff.org>
Tue, 4 Feb 2020 17:56:17 +0000 (18:56 +0100)
commitf40520b094620f160a582af8810bfba7da61004b
tree35ec7bf7ac46085a6bc5d5edece81d15281ebf5c
parent4caa0d2907082868e32a77c5a8ebf85c527497ca
speed up running of tasks via GNUNTE_SCHEDULER_add_now() by a factor of at least 5
src/util/scheduler.c