# HG changeset patch # User arpi # Date 998572825 0 # Node ID 6b71bbf515e4405564abfb4a19a422c7955b0bd1 # Parent a7251d9e82e9de459ae9b5f82e970e5c3e5c6fa3 num_elementary_packets1xx reset diff -r a7251d9e82e9 -r 6b71bbf515e4 demuxer.c --- a/demuxer.c Thu Aug 23 13:19:30 2001 +0000 +++ b/demuxer.c Thu Aug 23 13:20:25 2001 +0000 @@ -326,6 +326,7 @@ extern int num_elementary_packets100; // for MPEG-ES fileformat detection extern int num_elementary_packets101; extern int num_elementary_packetsPES; +extern int num_elementary_packets1B6; // commandline options, flags: //extern int seek_to_byte; @@ -354,6 +355,8 @@ sh_audio_t *sh_audio=NULL; sh_video_t *sh_video=NULL; +//printf("demux_open(%p,%d,%d,%d,%d) \n",stream,file_format,audio_id,video_id,dvdsub_id); + //=============== Try to open as AVI file: ================= if(file_format==DEMUXER_TYPE_UNKNOWN || file_format==DEMUXER_TYPE_AVI){ demuxer=new_demuxer(stream,DEMUXER_TYPE_AVI,audio_id,video_id,dvdsub_id); @@ -383,6 +386,11 @@ while(pes>=0){ demuxer=new_demuxer(stream,DEMUXER_TYPE_MPEG_PS,audio_id,video_id,dvdsub_id); if(!pes) demuxer->synced=1; // hack! + num_elementary_packets100=0; + num_elementary_packets101=0; + num_elementary_packets1B6=0; + num_elementary_packetsPES=0; + if(ds_fill_buffer(demuxer->video)){ if(!pes) mp_msg(MSGT_DEMUXER,MSGL_INFO,MSGTR_DetectedMPEGPESfile);