Re: os.clock conversion to milliseconds under MacOS X

[Luiz Henrique de Figueiredo <lhf@...>]

>     > 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.