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 60d18db46c55c2f51f9a7e4430c1ee302560faef..d59eab90cae1560660d92ff340fc4f4221d3ac09 100644 (file)
--- 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++;