File repeating_frame_dots.diff of Package dvswitch-git

---
 src/mixer.cpp |   17 ++++++++++++++++-
 1 file changed, 16 insertions(+), 1 deletion(-)

Index: dvswitch-0.9-1-da15ba4/src/mixer.cpp
===================================================================
--- dvswitch-0.9-1-da15ba4.orig/src/mixer.cpp
+++ dvswitch-0.9-1-da15ba4/src/mixer.cpp
@@ -835,10 +835,11 @@ mixer::create_video_mix_fade(source_id p
 void mixer::run_mixer()
 {
     dv_frame_ptr last_mixed_dv;
     unsigned serial_num = 0;
     const mix_data * m = 0;
+    unsigned repeating_mixed_frame = 0;
 
     auto_codec decoder(auto_codec_open_decoder(CODEC_ID_DVVIDEO));
     AVCodecContext * dec = decoder.get();
     dec->get_buffer = raw_frame_get_buffer;
     dec->release_buffer = raw_frame_release_buffer;
@@ -919,11 +920,19 @@ void mixer::run_mixer()
 	    }
 	}
 
 	if (!mixed_dv)
 	{
-	    std::cerr << "WARN: Repeating mixed frame\n"; // XXX not very informative
+	    if (!(repeating_mixed_frame & 0x3ff))
+	      {
+	        if (repeating_mixed_frame)
+	          std::cerr << "\n";
+	        std::cerr << "WARN: Repeating mixed frame " << serial_num << "\n"; // XXX not very informative
+		repeating_mixed_frame++;
+	      }
+	    else 
+	      std::cerr << ".";
 
 	    // Make a copy of the last mixed frame so we can
 	    // replace the audio.  (We can't modify the last frame
 	    // because sinks may still be reading from it.)
 	    mixed_dv = allocate_dv_frame();
@@ -931,10 +940,16 @@ void mixer::run_mixer()
 			last_mixed_dv.get(),
 			offsetof(dv_frame, buffer)
 			+ dv_frame_system(last_mixed_dv.get())->size);
 	    mixed_dv->serial_num = serial_num;
 	}
+	else
+	{
+	  if (repeating_mixed_frame)
+	    std::cerr << "WARN: End repeating " << serial_num << "\n";
+	  repeating_mixed_frame = 0;
+	}
 
 	const dv_frame_ptr & audio_source_dv =
 	    m->source_frames[m->settings.audio_source_id];
 
 	if (!audio_source_dv ||