diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2016-02-16 16:37:50 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2016-02-18 21:41:50 +0100 |
| commit | 96949534aed13633c1ad9f015a6c7055cb30649c (patch) | |
| tree | d954b0138db7a2390f8efd28460fd2092607534e /executor | |
| parent | 87d7cc4d27a2ae64a48cbad48e21369448841e1f (diff) | |
execprog: properly cleanup on ctrl+C
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions