diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2016-12-08 15:04:53 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2016-12-08 17:28:42 +0100 |
| commit | 73b7be0e9caaffe162e2809e44e7360eeb9160b7 (patch) | |
| tree | 01f203bb0e0991954555d074cb51c174a60d7299 /executor/common.h | |
| parent | 6f9e42e9baaca050263b8a152831d76abb4e87c9 (diff) | |
manager: print how long VMs running before restarting
For a potential case VM unexpectedly exits too early.
Diffstat (limited to 'executor/common.h')
0 files changed, 0 insertions, 0 deletions