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

[Reimar Döffinger]

On Sun, Jul 25, 2010 at 01:33:58AM -0700, Paul Huwe wrote:
> > 
> > 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. 

Applied then.
The difference is when using M_PROPERTY_PRINT it will be formatted as hh:mm:ss
I don't know where exactly this is used right now, but somewhen in the future it might
be used to allow printing any property in the OSD (which is one of the reasons
it is better to implement things as properties instead of new commands).