# HG changeset patch
# User ib
# Date 1309343102 0
# Node ID 1ad3fde39a9ae14f78153d2aacd1aa7df5641aa8
# Parent  bcb85e10eff7b2e49cc4e47c2e5229bbdda9ffe8
Don't stop playing after a DXR3 demuxer type error.

Instead, continue in the playlist.

diff -r bcb85e10eff7 -r 1ad3fde39a9a gui/interface.c
--- a/gui/interface.c	Wed Jun 29 10:12:12 2011 +0000
+++ b/gui/interface.c	Wed Jun 29 10:25:02 2011 +0000
@@ -739,7 +739,6 @@
 #ifdef CONFIG_DXR3
         if (video_driver_list && !gstrcmp(video_driver_list[0], "dxr3") && (((demuxer_t *)mpctx_get_demuxer(guiInfo.mpcontext))->file_format != DEMUXER_TYPE_MPEG_PS) && !gtkVfLAVC) {
             gtkMessageBox(GTK_MB_FATAL, MSGTR_NEEDLAVC);
-            guiInfo.Playing = 0;
             return False;
         }
 #endif