catch early return of select before call to GNUNET_SCHEDULER_run_from_driver
authorlurchi <lurchi@strangeplace.net>
Tue, 23 Jan 2018 08:09:27 +0000 (09:09 +0100)
committerlurchi <lurchi@strangeplace.net>
Tue, 23 Jan 2018 08:09:27 +0000 (09:09 +0100)
commitf0140aa59e7e6570deec0cde35fc0147ee1292cb
treed9ad98f8794e089d47c7dddb593928425c31f311
parent8b64a2ffd097e1f02c6d6de3d3bd6ce75a7206f6
catch early return of select before call to GNUNET_SCHEDULER_run_from_driver
src/util/scheduler.c