On 29.08.2006 13:46, "Ronan Meneu" <[EMAIL PROTECTED]> wrote:
> With this code, time is rounded to the second. Result is that display is slow,
> because timers are delayed too much.
>
> A fix could be to use the gettimeofday function:
You are absolutely right, this function is supposed to provide sub-second
precision. For SystemTime.h:
// Return the current system time in seconds, using the classic POSIX
epoch of January 1, 1970.
// Like time(0) from <time.h>, except with a wider range of values and
higher precision.
gettimeofday() doesn't really provide a much wider range of values, but
that doesn't seem critical for the time being :-)
> Do i need to fill in a bug and post a patch ?
It will certainly be appreciated. Thank you!
- WBR, Alexey Proskuryakov
_______________________________________________
webkit-dev mailing list
webkit-dev@opendarwin.org
http://www.opendarwin.org/mailman/listinfo/webkit-dev
