projects / oweals / gnunet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dcb1ec0) | patch
return now if we found a task that is ready (optimization)
authorlurchi <lurchi@strangeplace.net>
Tue, 16 Jan 2018 17:44:58 +0000 (18:44 +0100)
committerlurchi <lurchi@strangeplace.net>
Tue, 16 Jan 2018 17:44:58 +0000 (18:44 +0100)
commitfc3aa3c0764eb1eca804ae6bee2145b7886d7e62
tree190300e1361620ee34f25cc9f2dbdddc6360f5d5tree | snapshot
parentdcb1ec0a1da2760918b8316c0e9b3596bc1f4190commit | diff
return now if we found a task that is ready (optimization)
src/util/scheduler.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.