[ILUG] Strange problem with oggdec, which became a question about time.

[Nick Murtagh]

Niall O Broin wrote:
> date;time oggdec -o 123.wav dante.ogg;date
> Wed Feb 25 00:20:35 GMT 2004
> OggDec 1.0.1
> Decoding "dante.ogg" to "123.wav"
>         [100.0%]
> 
> real    0m1.001s
> user    0m0.805s
> sys     0m0.189s
> Wed Feb 25 00:20:36 GMT 2004

Is it possible the second date gets to run before time finishes,
but doesn't get to do its output until time finishes? Or is
that complete nonsense?