--- xbmc/cores/dvdplayer/DVDDemuxers/DVDDemuxFFmpeg.cpp.orig	2014-08-01 11:18:24.000000000 -0500
+++ xbmc/cores/dvdplayer/DVDDemuxers/DVDDemuxFFmpeg.cpp	2014-08-24 15:36:34.844966866 -0500
@@ -542,10 +542,6 @@
 
 void CDVDDemuxFFmpeg::Flush()
 {
-  // naughty usage of an internal ffmpeg function
-  if (m_pFormatContext)
-    avformat_flush(m_pFormatContext);
-
   m_currentPts = DVD_NOPTS_VALUE;
 
   m_pkt.result = -1;