diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2017-07-21 09:32:09 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2017-07-21 10:06:46 +0200 |
| commit | 1a3751c444d733fa77c6093f68ac86f4faaecdbe (patch) | |
| tree | b9cea7dc77c5217a21822ba60d285f382d4110ea /executor/executor.cc | |
| parent | 0bdcc49799977292329cfb639ecca77b38b5d479 (diff) | |
syz-ci: save previous manager log
If manager exits during start, it's hard to understand what happens.
Save the previous manager log as manager.log.old until we have a better solution.
Also log errors on 0 log level.
Diffstat (limited to 'executor/executor.cc')
0 files changed, 0 insertions, 0 deletions