oops

Originally committed as revision 2691 to svn://svn.ffmpeg.org/ffmpeg/trunk

ffplay.c

@@ -545,7 +545,7 @@ static double get_audio_clock(VideoState *is)
 static double get_video_clock(VideoState *is)
 {
     double delta;
-    if (is->paused) { //FIXME timing gets messed after pause
+    if (is->paused) {
         delta = 0;
     } else {
         delta = (av_gettime() - is->video_current_pts_time) / 1000000.0;
@@ -1055,7 +1055,6 @@ static int audio_decode_frame(VideoState *is, uint8_t *audio_buf, double *pts_pt
             pts = is->audio_clock;
             *pts_ptr = pts;
             n = 2 * is->audio_st->codec.channels;
-printf("%f %d %d %d\n", is->audio_clock, is->audio_st->codec.channels, data_size, is->audio_st->codec.sample_rate);
             is->audio_clock += (double)data_size / 
                 (double)(n * is->audio_st->codec.sample_rate);
 #if defined(DEBUG_SYNC)
@@ -1675,8 +1674,6 @@ void event_loop(void)
             do_seek:
                 if (cur_stream) {
                     pos = get_master_clock(cur_stream);
-printf("%f %f %d %d %d %d\n", (float)pos, (float)incr, cur_stream->av_sync_type == AV_SYNC_VIDEO_MASTER, 
-cur_stream->av_sync_type == AV_SYNC_AUDIO_MASTER, cur_stream->video_st, cur_stream->audio_st);
                     pos += incr;
                     stream_seek(cur_stream, (int64_t)(pos * AV_TIME_BASE));
                 }