tree 72f65096e29ed0e29397c1c06ed7ca34389b69cf
parent b9dd06ff193a805be0b06c5c033f810d287b4ecd
author Jiang Yan Xu <yan@jxu.me> 1434046234 -0700
committer Jiang Yan Xu <yan@jxu.me> 1434496085 -0700

Fix a bug that causes terminal status update not getting sent.

Specifically:
- Wait 5 seconds after sending the status before the executor terminates itself.
- Make sure task_runner.stop() is always called no matter whether the task succeeds or where it fails.