diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2016-03-01 14:57:59 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2016-03-10 17:47:13 +0100 |
| commit | 9537a44236e6956a3a719b42fd0a2c01baa56032 (patch) | |
| tree | b79a93c89cfe39e06fa5a94bf39d40c7e4ac2d8c /executor | |
| parent | 6d201b769464d3e3973a7530d9931b1edc0bd4e8 (diff) | |
manager: don't save crashers during shutdown
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions