Add sched_when function (bug #4022)