Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #1116 from fujisoft/patch-3
Workaround for timing issue of termination detection. Not sure if that is correct.
- Loading branch information