[MPlayer-dev-eng] [PATCH] Get Demuxer Time for Proper DVD Time REDUX^2

[Paul Huwe]

> 
> Hmm.. Besides some cosmetics (tabs where only spaces should
> be used), the
> behaviour is inconsistent with time_pos.
> I'd like to suggest attached variant.

Reimar,

I tested out your suggested changed patch, and it outputs the same information, so I have no issue with it! Please patch away. 

You are correct that I intended for the name to be stream_time_pos and merely missed it in the slave.txt doc..

Cheers,
Paul