diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2015-12-28 14:35:00 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2015-12-28 14:35:00 +0100 |
| commit | c7f10835eb19338dd80963b9bd5ef47ef1015cf1 (patch) | |
| tree | 0e81fe8a05d056fd1190e411b4c20076a6bc2ec1 /executor | |
| parent | 27d5b3f0ec9e61987c395ab51ad02b6c963322fd (diff) | |
manager: give kernel more time to print crash message
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions