|
From: <sv...@va...> - 2008-02-24 18:21:12
|
Author: bart
Date: 2008-02-24 18:21:12 +0000 (Sun, 24 Feb 2008)
New Revision: 7440
Log:
Added more debugging output.
Modified:
trunk/exp-drd/drd_segment.c
Modified: trunk/exp-drd/drd_segment.c
===================================================================
--- trunk/exp-drd/drd_segment.c 2008-02-24 18:19:09 UTC (rev 7439)
+++ trunk/exp-drd/drd_segment.c 2008-02-24 18:21:12 UTC (rev 7440)
@@ -114,6 +114,18 @@
void sg_delete(Segment* const sg)
{
+#if 1
+ if (sg_get_trace())
+ {
+ char msg[256];
+ VG_(snprintf)(msg, sizeof(msg),
+ "Discarding the segment with vector clock ");
+ vc_snprint(msg + VG_(strlen)(msg), sizeof(msg) - VG_(strlen)(msg),
+ &sg->vc);
+ VG_(message)(Vg_DebugMsg, "%s", msg);
+ }
+#endif
+
s_segments_alive_count--;
tl_assert(sg);
|