diff options
author | Harald Musum <musum@verizonmedia.com> | 2020-12-14 15:14:57 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-12-14 15:14:57 +0100 |
commit | b012824fe389d2a6cbfc054d42ce24d7ec76490b (patch) | |
tree | d063511d9c00ec9a49ba59fd25c9e5460028aa93 /dist/.tito/tito.props | |
parent | 3346deb478823faf709d8de39bc7e6508436ca0a (diff) | |
parent | 796bed3f67282c835bc5f6cccc457d07179332ed (diff) |
Merge pull request #15808 from vespa-engine/mpolden/respect-shutdown
Never attempt to start again after executor has shut down
Diffstat (limited to 'dist/.tito/tito.props')
0 files changed, 0 insertions, 0 deletions