diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2017-12-01 09:21:42 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2017-12-01 09:28:33 +0200 |
commit | febcacdb5a60d37c2a56c9aad7b636be799940cd (patch) | |
tree | b04f92b4fb2125c6ee247e87a9f19fe8b34a9ff3 /.gitignore | |
parent | 474d70d1dd7a60b5a0dccbe9c3ab1139a9ef31ac (diff) |
Terminate waiting threads if coming off failed load phase
In this case the build state may no longer be valid.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions