Fixed bug #12565: Scheduler: Added option to turn off logging, which could be too...