-fix #4582
authorChristian Grothoff <christian@grothoff.org>
Sat, 25 Jun 2016 13:22:51 +0000 (13:22 +0000)
committerChristian Grothoff <christian@grothoff.org>
Sat, 25 Jun 2016 13:22:51 +0000 (13:22 +0000)
commitcdb31e2722288aa9a9b61c548edd498145cadf6e
treee9c03ddd5aa57efdd2fdc2c59fadaea2312cb01d
parent26954b925b62aaf9f91816450d43460351db5886
-fix #4582
src/util/scheduler.c