plasma-umass/doppio — pull request #312 by fortianwei (2014-05-15 02:54:08+00:00)
Title: Update runtime.ts

fixed the bug:Deleted thread from thread_pool incorrectly.