diff options
Diffstat (limited to 'libmpdemux/demuxer.c')
| -rw-r--r-- | libmpdemux/demuxer.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/libmpdemux/demuxer.c b/libmpdemux/demuxer.c index 0fc2780641..0c709bc81d 100644 --- a/libmpdemux/demuxer.c +++ b/libmpdemux/demuxer.c @@ -846,8 +846,10 @@ if(file_format==DEMUXER_TYPE_UNKNOWN || file_format==DEMUXER_TYPE_RAWDV) mp_msg(MSGT_DEMUXER,MSGL_INFO,MSGTR_Detected_XXX_FileFormat,"RAWDV"); file_format=DEMUXER_TYPE_RAWDV; } - else + else { free_demuxer(demuxer); + demuxer=NULL; + } } #endif //=============== Try to open as audio file: ================= |