[webkit-dev] Linux Port: time problem
ap-carbon at rambler.ru
Tue Aug 29 03:26:38 PDT 2006
On 29.08.2006 13:46, "Ronan Meneu" <rmeneu at origyn.fr> 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
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
More information about the webkit-dev