+ /* Print events discarded */
+ if (stream->events_discarded) {
+ fflush(stdout);
+ fprintf(stderr, "[warning] Tracer discarded %d events between [",
+ stream->events_discarded);
+ ctf_text_print_timestamp(stderr, pos, stream, stream->prev_timestamp);
+ fprintf(stderr, "] and [");
+ ctf_text_print_timestamp(stderr, pos, stream, stream->timestamp);
+ fprintf(stderr, "]. You should consider increasing the buffer size.\n");
+ fflush(stderr);
+ stream->events_discarded = 0;
+ }
+