Update TaskScheduler.h