tree bf8a5d1c24a3044943bd7ad9fc33e841a365947d
parent c321d7c3402e017097da08a0ac7960ada02b56aa
author Zhenkai Zhu <zhenkai@cs.ucla.edu> 1358531964 -0800
committer Zhenkai Zhu <zhenkai@cs.ucla.edu> 1358531964 -0800

Revert "scheduler shutdown"

This reverts commit e54668110ece4c6113a4e880f6ce5c21636978e5.