better error reporting from scheduler
authorChristian Grothoff <christian@grothoff.org>
Thu, 8 Mar 2018 13:24:01 +0000 (14:24 +0100)
committerChristian Grothoff <christian@grothoff.org>
Thu, 8 Mar 2018 13:24:01 +0000 (14:24 +0100)
commit43a0b73b24875052b70809c5ae4d6387551f8f53
tree8f9dec295d56b69ea76705967b2737796f64e110
parent1051931d1de852b8c7750e1d02f1abb5b044483a
better error reporting from scheduler
src/util/scheduler.c