diff options
| author | Wladimir J. van der Laan <laanwj@gmail.com> | 2017-11-28 12:08:09 +0100 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2017-11-28 12:12:05 +0100 |
| commit | d31e5c1d0f303a8cd97077d425488ed5abdf5345 (patch) | |
| tree | d679abc9eab2edd8636df68df5a143fb35cf600f /.gitignore | |
| parent | 26efc220a13aa3413f6e55e311e8991445104f82 (diff) | |
Fix shutdown in case of errors during initialization
PR #10286 introduced a few steps which are not robust to early shutdown
in initialization.
Stumbled upon this with #11781, not sure if there are other scenarios
that can trigger it, but it's harden against this in any case.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions