diff options
| author | Jeremy Harris <jgh146exb@wizmail.org> | 2022-01-25 19:46:22 +0000 |
|---|---|---|
| committer | Jeremy Harris <jgh146exb@wizmail.org> | 2022-01-27 13:12:36 +0000 |
| commit | 9f691660159a9279353a99fca776c7687faaae26 (patch) | |
| tree | d407e259bcd380c78c8eed23c1892c0968ef6cec /doc/doc-docbook | |
| parent | dad53f7da826ea1199cf0b3b63e33e852373b084 (diff) | |
Stop option for ACL control of debug logging
Diffstat (limited to 'doc/doc-docbook')
| -rw-r--r-- | doc/doc-docbook/spec.xfpt | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/doc/doc-docbook/spec.xfpt b/doc/doc-docbook/spec.xfpt index 36ed7ca09..67d79aa7a 100644 --- a/doc/doc-docbook/spec.xfpt +++ b/doc/doc-docbook/spec.xfpt @@ -31604,8 +31604,10 @@ The filename can be adjusted with the &'tag'& option, which may access any variables already defined. The logging may be adjusted with the &'opts'& option, which takes the same values as the &`-d`& command-line option. -Logging started this way may be stopped, and the file removed, -with the &'kill'& option. +.new +Logging started this way may be stopped by using the &'stop'& option. +The &'kill'& option additionally removes the debug file. +.wen Some examples (which depend on variables that don't exist in all contexts): .code |