diff options
author | Henning Baldersheim <balder@yahoo-inc.com> | 2019-04-01 12:57:30 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-04-01 12:57:30 +0300 |
commit | a0ad798b59039d0905147ca66881f1e95fb443eb (patch) | |
tree | 373e8da0960b767ff83b06436765ab744c479ddc /jdisc_core | |
parent | 87399bc32f24b3a2e417f935583c6b7e0818d0c8 (diff) | |
parent | abd5b8fc212ba82e0a90ae802df6b27856dbfd24 (diff) |
Merge pull request #8972 from vespa-engine/arnej/handle-missing-config
handle shutdown before config is available
Diffstat (limited to 'jdisc_core')
0 files changed, 0 insertions, 0 deletions