# HG changeset patch
# User ods15
# Date 1129127823 0
# Node ID e168c0704cfc03f49dd1828f25d1941e3372db8b
# Parent  e91f944f6ed9857e04b43c57234b5e480fcdaa04
change to switch/case for dumpsub

diff -r e91f944f6ed9 -r e168c0704cfc mplayer.c
--- a/mplayer.c	Wed Oct 12 12:11:27 2005 +0000
+++ b/mplayer.c	Wed Oct 12 14:37:03 2005 +0000
@@ -3627,12 +3627,14 @@
             vo_osd_changed(OSDTYPE_SUBTITLE); 
 
             // FIXME: is this the correct place for these?
-            if(stream_dump_type==3) list_sub_file(subdata);
-            if(stream_dump_type==4) dump_mpsub(subdata, sh_video->fps);
-            if(stream_dump_type==6) dump_srt(subdata, sh_video->fps);
-            if(stream_dump_type==7) dump_microdvd(subdata, sh_video->fps);
-            if(stream_dump_type==8) dump_jacosub(subdata, sh_video->fps);
-            if(stream_dump_type==9) dump_sami(subdata, sh_video->fps);
+	    switch (stream_dump_type) {
+		case 3: list_sub_file(subdata); break;
+		case 4: dump_mpsub(subdata, sh_video->fps); break;
+		case 6: dump_srt(subdata, sh_video->fps); break;
+		case 7: dump_microdvd(subdata, sh_video->fps); break;
+		case 8: dump_jacosub(subdata, sh_video->fps); break;
+		case 9: dump_sami(subdata, sh_video->fps); break;
+	    }
 #endif
         } else if (source == SUB_SOURCE_DEMUX) {
             dvdsub_id = global_sub_pos - global_sub_indices[SUB_SOURCE_DEMUX];