From 42c89442ee263f3d9a4bcb236e34d0615e2a4c28 Mon Sep 17 00:00:00 2001 From: Tom Hughes Date: Fri, 4 Nov 2005 17:13:24 +0000 Subject: [PATCH] Remove "pid" to make docs align with reality. git-svn-id: svn://svn.valgrind.org/valgrind/trunk@5006 --- docs/xml/manual-core.xml | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/docs/xml/manual-core.xml b/docs/xml/manual-core.xml index 57b9bedc9a..d3fd4b8c0c 100644 --- a/docs/xml/manual-core.xml +++ b/docs/xml/manual-core.xml @@ -192,19 +192,19 @@ places: --log-file=filename. Note carefully that the commentary is not written to the file you specify, but instead to one called - filename.pid12345, if for + filename.12345, if for example the pid of the traced process is 12345. This is helpful when valgrinding a whole tree of processes at once, since it means that each process writes to its own logfile, rather than the result being jumbled up in one big - logfile. If filename.pid12345 already + logfile. If filename.12345 already exists, then it will name new files - filename.pid12345.1 and so on. + filename.12345.1 and so on. If you want to specify precisely the file name to use, without the trailing - .pid12345part, you can instead use + .12345part, you can instead use --log-file-exactly=filename. @@ -665,7 +665,7 @@ categories. Specifies that Valgrind should send all of its messages to the specified file. In fact, the file name used is created by concatenating the text - filename, ".pid" and the + filename, "." and the process ID, so as to create a file per process. The specified file name may not be the empty string. @@ -673,7 +673,7 @@ categories. --log-file-exactly=<filename> Just like --log-file, but - the ".pid" suffix is not added. If you trace multiple processes + the "." suffix is not added. If you trace multiple processes with Valgrind when using this option the log file may get all messed up. -- 2.47.3