diff options
| author | jvoisin | 2023-04-15 15:18:13 +0200 |
|---|---|---|
| committer | jvoisin | 2023-04-15 15:18:13 +0200 |
| commit | 8532f01c7f3c356fbb2dda593477d3902491de77 (patch) | |
| tree | fd5fc94b47683fe1ff77ce214bc9333e7f7e93e3 /doc/source/config.rst | |
| parent | 62c3dd33f4e2edbdee89888f613f10cb961092ec (diff) | |
Document readonly_exec's `extended_checks` option
Diffstat (limited to 'doc/source/config.rst')
| -rw-r--r-- | doc/source/config.rst | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/doc/source/config.rst b/doc/source/config.rst index 40e8c11..b302e8c 100644 --- a/doc/source/config.rst +++ b/doc/source/config.rst | |||
| @@ -330,6 +330,14 @@ It can either be ``enabled`` or ``disabled`` and can be used in ``simulation`` m | |||
| 330 | file or the folder containing it is owned by the user the PHP process is | 330 | file or the folder containing it is owned by the user the PHP process is |
| 331 | running under. | 331 | running under. |
| 332 | 332 | ||
| 333 | Extended checks, enabled by default, can be explicitly enabled via | ||
| 334 | ``extended_checks`` and disabled via ``no_extended_checks``. The checks | ||
| 335 | include: | ||
| 336 | |||
| 337 | * verifying the effective user id; | ||
| 338 | * verifying that the current folder isn't writable; | ||
| 339 | * verifying the current folder effective user id. | ||
| 340 | |||
| 333 | :: | 341 | :: |
| 334 | 342 | ||
| 335 | sp.readonly_exec.enable(); | 343 | sp.readonly_exec.enable(); |
