really make GNUNET_SCHEDULER_run_from_driver more graceful (must have been late)
authorlurchi <lurchi@strangeplace.net>
Sat, 27 Jan 2018 11:44:59 +0000 (12:44 +0100)
committerlurchi <lurchi@strangeplace.net>
Sat, 27 Jan 2018 11:44:59 +0000 (12:44 +0100)
commit3f9b17815962021ba69eea1c69ac8f6af787db48
treef3f0a754276f6a7e3061e49549875c3bd11617ed
parentc53cced7bc23c27544a48a6b515b6f6407e4bfa3
really make GNUNET_SCHEDULER_run_from_driver more graceful (must have been late)
src/util/scheduler.c