ID: 26822
Updated by: [EMAIL PROTECTED]
Reported By: dv at josheli dot com
Status: Bogus
Bug Type: Date/time related
Operating System: *
PHP Version: 5CVS, 4CVS
New Comment:
The line php -r "echo date('r', mktime(0, 0, 0, 1, 10, 2004));" just
shows, that there is only one space between "," and "10", so the two
spaces in case of a one-digit daynumber is just for format.
Btw. 822 was obsoleted by 2822, as you might've noticed, that 4-digit
years are not allowed by 822.
Previous Comments:
------------------------------------------------------------------------
[2004-01-07 02:23:00] dv at josheli dot com
Okay, thanks for your time.
But I don't quite follow. i don't see anything in the manual that
states your solution.
php -r "echo date('r', mktime(0, 0, 0, 1, 10, 2004));"
seems to be a workaround.
the manual says "timestamp is optional", the 'r' format character
claims an "RFC 822 formatted date", and nowhere in RFC 822 does it show
that extra space.
------------------------------------------------------------------------
[2004-01-07 01:35:54] [EMAIL PROTECTED]
Thank you for taking the time to write to us, but this is not
a bug. Please double-check the documentation available at
http://www.php.net/manual/ and the instructions on how to report
a bug at http://bugs.php.net/how-to-report.php
php -r \"echo date(\'r\', mktime(0, 0, 0, 1, 10, 2004));\"
------------------------------------------------------------------------
[2004-01-06 23:39:03] dv at josheli dot com
Description:
------------
date('r') on windows puts an extra space in the formatted result.
found on 4.3.4, php5 beta2, php5-win32-200401070330 snap
Reproduce code:
---------------
php -r "echo date('r');"
Expected result:
----------------
Tue, 6 Jan 2004 22:26:00 -0600
^
Actual result:
--------------
Tue, 6 Jan 2004 22:26:00 -0600
^^
------------------------------------------------------------------------
--
Edit this bug report at http://bugs.php.net/?id=26822&edit=1
