+
+ va_end(ap);
+}
+
+void traceUserMsg(Capability *cap, char *msg)
+{
+#ifdef DEBUG
+ if (RtsFlags.TraceFlags.tracing == TRACE_STDERR) {
+ traceCap_stderr(cap, msg, NULL);
+ } else
+#endif
+ {
+ if (eventlog_enabled) {
+ postUserMsg(cap, msg);
+ }
+ }