diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2016-11-19 11:14:11 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2016-11-19 11:14:11 +0100 |
| commit | c9ae0f69d87e64cd7d1839164cee172b27657b11 (patch) | |
| tree | 5635ba71b0f51ad9487971b33e94a797aa994694 /executor | |
| parent | 59f7c210d0584164a821bde6686debe169660f30 (diff) | |
vm: add ability to interrupt commands
This is required for crash reproduction in manager.
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions