diff options
| author | Jon Marius Venstad <jonmv@users.noreply.github.com> | 2021-01-15 13:59:41 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-01-15 13:59:41 +0100 |
| commit | 67eb281db24723ce60e8f830614d564e2b29462c (patch) | |
| tree | 03f7fb4a2e53016960ce999d03a466fa956e42f2 /controller-api | |
| parent | 7f90cdc6058d2e79c6fe6ef8249ab1b8f16eb2d6 (diff) | |
| parent | 463e7b4bc20fc45392230c3292aa76d2f1d18ee4 (diff) | |
Merge pull request #16059 from vespa-engine/jonmv/handle-null-result-after-interrupt
Handle no result being set after abort and interrupt
Diffstat (limited to 'controller-api')
0 files changed, 0 insertions, 0 deletions