scheduler_thread.cpp revision 931ce674
1