From: Nicholas Nethercote <njn@valgrind.org>
Date: Fri, 18 Nov 2005 17:12:26 +0000 (+0000)
Subject: Make coredump files have names like vgcore.12345 rather than vgcore.pid12345
X-Git-Tag: svn/VALGRIND_3_1_0~40
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e01d38011994a8373b6be9b4704ec7baec08b73b;p=thirdparty%2Fvalgrind.git

Make coredump files have names like vgcore.12345 rather than vgcore.pid12345
to be consistent with all the other such cases (eg. --log-file names,
cachegrind.out.12345).



git-svn-id: svn://svn.valgrind.org/valgrind/trunk@5192
---

diff --git a/coregrind/m_coredump/coredump-elf.c b/coregrind/m_coredump/coredump-elf.c
index 60d18db46c..d59eab90ca 100644
--- a/coregrind/m_coredump/coredump-elf.c
+++ b/coregrind/m_coredump/coredump-elf.c
@@ -311,10 +311,10 @@ void make_elf_coredump(ThreadId tid, const vki_siginfo_t *si, UInt max_size)
       SysRes sres;
 
       if (seq == 0)
-	 VG_(sprintf)(buf, "%s%s.pid%d",
+	 VG_(sprintf)(buf, "%s%s.%d",
 		      basename, coreext, VG_(getpid)());
       else
-	 VG_(sprintf)(buf, "%s%s.pid%d.%d",
+	 VG_(sprintf)(buf, "%s%s.%d.%d",
 		      basename, coreext, VG_(getpid)(), seq);
       seq++;