diff options
| author | Michael Pratt <mpratt@google.com> | 2017-05-19 12:00:36 -0700 |
|---|---|---|
| committer | Michael Pratt <mpratt@google.com> | 2017-05-19 16:14:57 -0700 |
| commit | e19ceedd27955b049787857898b98d7fe033dc9e (patch) | |
| tree | 9f74b6202d61969b07b3affd8a33ae34c4633aab /CONTRIBUTORS | |
| parent | ea8a55cd916442d4643bca92c2fe7d638f7e9746 (diff) | |
ipc: add an optional 'abort' signal
If an external sandbox process wraps the executor, it may be helpful to
send a signal other than SIGKILL to the sandbox when the program times
out or fails to respond. This gives the sandbox the opportunity to emit
additional debugging information before exiting.
Add an 'abort' signal to ipc, which is sent to the executor before
SIGKILL. If the executor fails to exit within 5s, the signal is upgraded
to SIGKILL.
The default abort signal remains SIGKILL, maintaining existing behavior.
Diffstat (limited to 'CONTRIBUTORS')
| -rw-r--r-- | CONTRIBUTORS | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/CONTRIBUTORS b/CONTRIBUTORS index 5da256247..c5191b9fd 100644 --- a/CONTRIBUTORS +++ b/CONTRIBUTORS @@ -9,6 +9,7 @@ Google Inc. David Drysdale Vishwath Mohan Billy Lau + Michael Pratt Baozeng Ding Lorenzo Stoakes Jeremy Huang |