# HG changeset patch
# User reimar
# Date 1386792182 0
# Node ID af0a7a216a2c98332a14a13ca6febeee5fbdc50d
# Parent  9bda4bc47a4615f909fa893971bec7ee8f76a715
Fix potential endless loop while probing.

diff -r 9bda4bc47a46 -r af0a7a216a2c libmpdemux/demux_mpg.c
--- a/libmpdemux/demux_mpg.c	Mon Dec 09 14:11:16 2013 +0000
+++ b/libmpdemux/demux_mpg.c	Wed Dec 11 20:03:02 2013 +0000
@@ -84,6 +84,8 @@
   es_map_len = stream_read_word(demux->stream);		//length of elementary streams map
   es_map_len = FFMIN(es_map_len, len - prog_len - 8);	//sanity check
   while(es_map_len > 0) {
+    if (demux->stream->eof)
+      return 0;
     type = stream_read_char(demux->stream);
     id = stream_read_char(demux->stream);
     if(id >= 0xB0 && id <= 0xEF && priv) {