From:             [EMAIL PROTECTED]
Operating system: W2K
PHP version:      4.0.4
PHP Bug Type:     Date/time related
Bug description:  gettimeofday improvement suggestion

As implemented now, win32 gettimeofday does not give a consistent time because seconds 
and microseconds are collected with two different function calls.
A better solution, in my opinion, would be to use
win32 GetSystemTime function (together with mktime). This reduces accuracy to 
milliseconds, but time differences would be more reliable (no more extra 1 second 
errors in small times)

Edit Bug report at:

PHP Development Mailing List <>
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]
To contact the list administrators, e-mail: [EMAIL PROTECTED]

Reply via email to