diff options
| author | Jon Turney <jon.turney@dronecode.org.uk> | 2020-07-06 16:51:32 +0300 |
|---|---|---|
| committer | Jon Turney <jon.turney@dronecode.org.uk> | 2020-07-31 16:01:00 +0300 |
| commit | a5218ff7721bd5df023f576a0e9afb8f099c3b09 (patch) | |
| tree | f1fcd65550e40d543248a84a2a7751122ce23387 /winsup/doc/utils.xml | |
| parent | ba283d8777b617696342cad1f973e22b03bc7c74 (diff) | |
Cygwin: Add --nokill dumper option
Add --nokill option to dumper, for compatibility with minidumper, and to
assist with testing.
Diffstat (limited to 'winsup/doc/utils.xml')
| -rw-r--r-- | winsup/doc/utils.xml | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/winsup/doc/utils.xml b/winsup/doc/utils.xml index 8b92bfdf1..22bd86904 100644 --- a/winsup/doc/utils.xml +++ b/winsup/doc/utils.xml @@ -496,6 +496,7 @@ dumper [OPTION] FILENAME WIN32PID <refsect1 id="dumper-options"> <title>Options</title> <screen> +-n, --nokill don't terminate the dumped process -d, --verbose be verbose while dumping -h, --help output help information and exit -q, --quiet be quiet while dumping (default) @@ -519,9 +520,12 @@ error_start=x:\path\to\dumper.exe be started whenever some program encounters a fatal error. </para> <para> <command>dumper</command> can be also be started from the command - line to create a core dump of any running process. Unfortunately, because - of a Windows API limitation, when a core dump is created and - <command>dumper</command> exits, the target process is terminated too. </para> + line to create a core dump of any running process.</para> + + <para>For historical reasons, unless the <literal>-n</literal> option + is given, after the core dump is created and when the + <command>dumper</command> exits, the target process is also + terminated.</para> <para> To save space in the core dump, <command>dumper</command> doesn't write those portions of the target process's memory space that are loaded |