[webkit-dev] Linux Port: time problem

[Alexey Proskuryakov]

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