# HG changeset patch
# User nicodvb
# Date 1141334397 0
# Node ID 9e1fb2aeeed99344fa2839a9af49ba1de9ca3578
# Parent  ad3cb21e1b18ce79d8ad24106f1398eb7ab4893b
don't fall back to MP_CMD_TV_LAST_CHANNEL after MP_CMD_DVB_SETCHANNEL; patch by calking a ieee d org

diff -r ad3cb21e1b18 -r 9e1fb2aeeed9 mplayer.c
--- a/mplayer.c	Thu Mar 02 10:34:09 2006 +0000
+++ b/mplayer.c	Thu Mar 02 21:19:57 2006 +0000
@@ -3590,6 +3590,7 @@
 	  }
 	}
   }
+  break;
 #endif /* HAS_DVBIN_SUPPORT	*/
     case MP_CMD_TV_LAST_CHANNEL :  {
       if (file_format == DEMUXER_TYPE_TV) {