diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2016-03-01 14:56:26 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2016-03-10 17:47:13 +0100 |
| commit | f419fc90dd6b663ac04d1a46c8bf99e1437609dc (patch) | |
| tree | 9596ad3c0695866b697da64dc7958863fbe9f060 /ipc | |
| parent | 9851bc6a97a1bed0a5ff45aae727bfe6760f5b93 (diff) | |
executor: make loop killing non-fatal
Diffstat (limited to 'ipc')
0 files changed, 0 insertions, 0 deletions