diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2016-09-28 18:05:28 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2016-09-28 18:05:28 +0200 |
| commit | c2918417cbe2da7ee83deb316c3e8163f14b01a0 (patch) | |
| tree | e39af760694dd4f77e961549358dc1698d3faaae /executor/common.h | |
| parent | db32fed8a15b542f3f4db9014b9dc6b03b93a979 (diff) | |
vm: give preference to kernel oops over "lost connection"
If lost connection races with a kernel oops (which probably caused the lost),
give preference to the oops message (it should be more useful).
Diffstat (limited to 'executor/common.h')
0 files changed, 0 insertions, 0 deletions