# HG changeset patch
# User albeu
# Date 1027686973 0
# Node ID f01e5cefb828f859aae4e322bf4a752a465d660b
# Parent  bdd6735a8d83af10accb94ec04cb370ccd1bbcda
Add uninit to the avi demuxer

diff -r bdd6735a8d83 -r f01e5cefb828 libmpdemux/demux_avi.c
--- a/libmpdemux/demux_avi.c	Fri Jul 26 12:22:49 2002 +0000
+++ b/libmpdemux/demux_avi.c	Fri Jul 26 12:36:13 2002 +0000
@@ -726,4 +726,13 @@
 }
 
 
+void demux_close_avi(demuxer_t *demuxer) {
+  avi_priv_t* priv=demuxer->priv;
 
+  if(!priv)
+    return;
+
+  if(priv->idx_size > 0)
+    free(priv->idx);
+  free(priv);
+}
diff -r bdd6735a8d83 -r f01e5cefb828 libmpdemux/demuxer.c
--- a/libmpdemux/demuxer.c	Fri Jul 26 12:22:49 2002 +0000
+++ b/libmpdemux/demuxer.c	Fri Jul 26 12:36:13 2002 +0000
@@ -149,6 +149,7 @@
 extern void demux_close_audio(demuxer_t* demuxer);
 extern void demux_close_ogg(demuxer_t* demuxer);
 extern void demux_close_demuxers(demuxer_t* demuxer);
+extern void demux_close_avi(demuxer_t *demuxer);
 
 void free_demuxer(demuxer_t *demuxer){
     int i;
@@ -178,6 +179,10 @@
       demux_close_ogg(demuxer); break;
     case DEMUXER_TYPE_DEMUXERS:
       demux_close_demuxers(demuxer); return;
+    case DEMUXER_TYPE_AVI: 
+    case DEMUXER_TYPE_AVI_NI:
+    case DEMUXER_TYPE_AVI_NINI:
+      demux_close_avi(demuxer); return;
     }
     // free streams:
     for(i=0;i<256;i++){