# HG changeset patch
# User arpi
# Date 999116543 0
# Node ID 914bdbe33cf84d2641012c52d3a4d6bf676dfbac
# Parent  827b551bbcabec6abca69e45f8b647b44f4beaed
-dumpsub works for avi, then dumps .sub file

diff -r 827b551bbcab -r 914bdbe33cf8 mplayer.c
--- a/mplayer.c	Wed Aug 29 20:15:41 2001 +0000
+++ b/mplayer.c	Wed Aug 29 20:22:23 2001 +0000
@@ -591,6 +591,8 @@
   }
 #endif
 
+  if(subtitles && stream_dump_type==3) list_sub_file(subtitles);
+
     stream=NULL;
     demuxer=NULL;
     d_audio=NULL;
@@ -1784,7 +1786,7 @@
 #ifdef USE_SUB
   // find sub
   if(subtitles && d_video->pts>0){
-      int pts=d_video->pts;
+      float pts=d_video->pts;
       if(sub_fps==0) sub_fps=sh_video->fps;
       current_module="find_sub";
       find_sub(subtitles,sub_uses_time?(100*(pts+sub_delay)):((pts+sub_delay)*sub_fps)); // FIXME! frame counter...