# HG changeset patch
# User reimar
# Date 1352148829 0
# Node ID c93bf3f1540b63cc4923e69cf25a786e282cee87
# Parent  3828cde710a2cf2ef34b3ba88fc21cb0f0704250
Allow free_demuxer to handle a NULL argument.

diff -r 3828cde710a2 -r c93bf3f1540b libmpdemux/demuxer.c
--- a/libmpdemux/demuxer.c	Mon Nov 05 20:51:45 2012 +0000
+++ b/libmpdemux/demuxer.c	Mon Nov 05 20:53:49 2012 +0000
@@ -399,6 +399,8 @@
 void free_demuxer(demuxer_t *demuxer)
 {
     int i;
+    if (!demuxer)
+        return;
     mp_msg(MSGT_DEMUXER, MSGL_DBG2, "DEMUXER: freeing %s demuxer at %p\n",
            demuxer->desc->shortdesc, demuxer);
     if (demuxer->desc->close)