ID: 28425 Updated by: [EMAIL PROTECTED] Reported By: bela at up2you dot se -Status: Open +Status: Closed Bug Type: Date/time related Operating System: XP professional PHP Version: 4.3.6 Assigned To: wez New Comment:
This bug has been fixed in CVS. Snapshots of the sources are packaged every three hours; this change will be in the next snapshot. You can grab the snapshot at http://snaps.php.net/. Thank you for the report, and for helping us make PHP better. Previous Comments: ------------------------------------------------------------------------ [2004-07-30 11:49:52] bela at up2you dot se Tested next PHP 5.1 (unstable) snapshot and now it works correctly. ------------------------------------------------------------------------ [2004-07-29 05:31:41] [EMAIL PROTECTED] Please try using this CVS snapshot: http://snaps.php.net/php5-latest.tar.gz For Windows: http://snaps.php.net/win32/php5-win32-latest.zip ok, so maybe it took longer than a week... Please try next PHP 5.1 (unstable) snapshot dated after this message. If you confirm that it is working correctly, we can look into back-porting the fix to PHP 4.3. ------------------------------------------------------------------------ [2004-05-18 01:21:53] [EMAIL PROTECTED] There are some nasty static variables in use in our gettimeofday() implementation. I've a feeling that the fix would be something that will only work in win98 and higher, so it might not be possible to fix in PHP 4.3.x, but be fair game for PHP 5. Assigning to myself; I'll look at it later in the week. ------------------------------------------------------------------------ [2004-05-18 00:02:33] bela at up2you dot se Description: ------------ microtime() is not affected after changing the system time. The bug is verified on IIS and PHP4isapi.dll. The only way to get right system time is to restart the IIS server. The example shows when changing system time from 23:48:13 to 23:38:13. Reproduce code: --------------- <?php header("Content-type: text/plain"); list($usec, $sec) = explode(" ", microtime()); print date("Y-m-d H:i:s", $sec) . "\r\n"; print date("Y-m-d H:i:s", time()); ?> Expected result: ---------------- 2004-05-17 23:38:13 2004-05-17 23:38:13 Actual result: -------------- 2004-05-17 23:48:13 2004-05-17 23:38:13 ------------------------------------------------------------------------ -- Edit this bug report at http://bugs.php.net/?id=28425&edit=1
