Hello all.
I searched the forums, but couldn't find anything regarding this 'bug'.
It seems the $gmt identifier doesn't actually obey GMT, but rather just follows GMT and BST (British Summer Time).
Obviously GMT never changes, but $gmt does. You can see for yourself with //echo -a $asctime($gmt), which will (should) report BST now (since Daylight Savings Time is in effect in most countries) and be off by one hour.
I realise the identifier follows the internal clock, but shouldn't it be able to determine if DST is in effect and adjust the value accordingly?
Thanks for your time.
