[MPlayer-dev-eng] [PATCH] (non-gui, audio-only) time format to hh:mm:ss.f

[D Richard Felker III]

Does anyone have objections to this patch? Personally I'd rather see
the print format be switchable for both audio-only and video(+audio)
streams, but even as-is this looks like a nice feature.

Rich


On Thu, May 29, 2003 at 12:09:00PM -0700, Robert M. Riches Jr wrote:
> On May 23, I submitted a tiny patch, and I don't believe I
> have seen a response.  Has it been rejected, accepted, or
> dismissed as too trivial?  Portions of the original
> submission follow.
> 
> Thanks.
> 
> Robert Riches
> rm.riches at verizon.net
> 
> > Date: Fri, 23 May 2003 10:47:56 -0700
> > From: "Robert M. Riches Jr" <rm.riches at verizon.net>
> > To: mplayer-dev-eng at mplayerhq.hu
> > Subject: [PATCH] (non-gui, audio-only) time format to hh:mm:ss.f
> > Reply-To: rm.riches at verizon.net
> >
> > This patch converts the format of printed time (in non-gui,
> > audio-only mode) from pure seconds (and one fraction digit)
> > to hh:mm:ss.f to try to be more user-friendly.  I have used
> > this patch for a few weeks (on 9.0rc4).  A fresh build from
> > latest CVS as of this morning tested fine.  Okay, the coding
> > isn't too elegant, but it should be reasonably efficient and
> > testing shows it to work.
> >
> > Thanks for considering this tiny attempt at a contribution.
> 
> _______________________________________________
> MPlayer-dev-eng mailing list
> MPlayer-dev-eng at mplayerhq.hu
> http://mplayerhq.hu/mailman/listinfo/mplayer-dev-eng