[vlc] obtaining time from a ts file

[GALAD77]

Hello,

the vlc development version has javascript acces to the mozilla plugin;
among others, there are two interesting functions:
document.video.get_time(): current time (in seconds) of the playing file 
document.video.get_length(): total lenght in seconds (of a file)

However, this functions only apply to mpeg, mpeg files, not to all video
files.
I'm saving from a streaming server (using videolan and MPEG-TS) a file
in ts format (say saved.ts), in order to avoid transcoding and therefore
additional overhead. If I try to use the 'get_time()' and 'get_length()'
functions to  my saved.ts file it does not work.
Is it a way to deal with this issue?

Thanks,
G.  


-- 
This is the vlc mailing-list, see http://www.videolan.org/vlc/
To unsubscribe, please read http://www.videolan.org/support/lists.html