small fixes
authorlurchi <lurchi@strangeplace.net>
Thu, 20 Jul 2017 16:04:02 +0000 (18:04 +0200)
committerlurchi <lurchi@strangeplace.net>
Thu, 20 Jul 2017 16:04:31 +0000 (18:04 +0200)
commit7f843df63bd3d1a85d687f3e0de23594b43af6d3
treefc04058ba62708be2fd4c5b4a85885255dfff26b
parenta9d92c556d88da778dcde68114cd21b36d6db539
small fixes
src/util/scheduler.c