diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2016-03-01 15:13:13 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2016-03-10 17:47:13 +0100 |
| commit | 41b2457ddcbb366823be96b7030b82c80fd51a48 (patch) | |
| tree | fd458a6c34c03bdae53d4cc20bb7746c4219df92 /executor/executor.cc | |
| parent | 9537a44236e6956a3a719b42fd0a2c01baa56032 (diff) | |
manager: dump machine state on hangs
Diffstat (limited to 'executor/executor.cc')
0 files changed, 0 insertions, 0 deletions