diff options
author | Fabricio Voznika <fvoznika@google.com> | 2019-06-18 15:34:58 -0700 |
---|---|---|
committer | gVisor bot <gvisor-bot@google.com> | 2019-06-18 15:36:17 -0700 |
commit | 0e07c94d545aa971bb2a05b738f856181a3ff463 (patch) | |
tree | f3ab1fb4288184060373a41bb79a007293394a4b /pkg/sentry/kernel/time | |
parent | bdb19b82ef2aa1638d98da4b1c55ae7928437f55 (diff) |
Kill sandbox process when 'runsc do' exits
PiperOrigin-RevId: 253882115
Diffstat (limited to 'pkg/sentry/kernel/time')
0 files changed, 0 insertions, 0 deletions