}
else
{
+#ifdef WNT
+ MESSAGE("Killer : ThreadId " << ThreadId.p << " pthread_canceled") ;
+#else
MESSAGE("Killer : ThreadId " << ThreadId << " pthread_canceled") ;
+#endif
}
}
else
}
else
{
+#ifdef WNT
+ MESSAGE("Killer : ThreadId " << ThreadId.p << " pthread_killed(" << signum << ")") ;
+#else
MESSAGE("Killer : ThreadId " << ThreadId << " pthread_killed(" << signum << ")") ;
+#endif
}
}
}