diff options
| author | Zach Riggle <zachriggle@users.noreply.github.com> | 2018-08-01 12:42:08 -0500 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-08-01 19:42:07 +0200 |
| commit | 0a7cf4ec6374315af969a5bad7532095a1962492 (patch) | |
| tree | 20d6ecf1f2bca21dd62ef73bdeabd1008e7c7335 /executor | |
| parent | 1477993e1b6aae37085eb2ead17aae4ab827c0b5 (diff) | |
manager: Fix default value for 'sandbox' (#666)
docs: fix default sandbox value
The docs and code comments state in several places that 'setuid'
is the default sandbox value. However, the default is actually
'none'. Fix docs.
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions