Re: os.clock conversion to milliseconds under MacOS X

["Gary V. Vaughan" <gary@...>]

Hi Luiz,

> On Dec 17, 2014, at 11:39 AM, Luiz Henrique de Figueiredo <lhf@tecgraf.puc-rio.br> wrote:
> 
>>> began = os.clock ()
>>> local elapsed = os.difftime (os.clock (), began)
> 
> os.difftime is meant to be used with numbers returned by os.time, not os.clock.
> In POSIX systems, you can simply subtract the numbers, in both cases.
> 
> Perhaps the manual should say so.

Yikes!  Yes please, I've been abusing it in luaposix *and* specl for quite some time
having not known any better :-/

Cheers,
-- 
Gary V. Vaughan (gary AT vaughan DOT pe)