void * TaskScheduler::scheduler_thread(void *arg)
{
	TaskScheduler *that = (TaskScheduler*)arg;
	that->runSchedulerLoop();
	return NULL;
}