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 /doc/doc.css | |
| 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 'doc/doc.css')
0 files changed, 0 insertions, 0 deletions