|
From: <sv...@va...> - 2011-08-13 12:32:00
|
Author: bart
Date: 2011-08-13 13:27:11 +0100 (Sat, 13 Aug 2011)
New Revision: 11972
Log:
vgdb: Unlink pipes and mapped file before (re)creating these.
Modified:
trunk/coregrind/m_gdbserver/remote-utils.c
Modified: trunk/coregrind/m_gdbserver/remote-utils.c
===================================================================
--- trunk/coregrind/m_gdbserver/remote-utils.c 2011-08-13 05:57:51 UTC (rev 11971)
+++ trunk/coregrind/m_gdbserver/remote-utils.c 2011-08-13 12:27:11 UTC (rev 11972)
@@ -278,6 +278,15 @@
if (!mknod_done) {
mknod_done++;
+
+ /*
+ * Unlink just in case a previous process with the same PID had been
+ * killed and hence Valgrind hasn't had the chance yet to remove these.
+ */
+ VG_(unlink)(from_gdb);
+ VG_(unlink)(to_gdb);
+ VG_(unlink)(shared_mem);
+
safe_mknod(from_gdb);
safe_mknod(to_gdb);
|