FW: EU BST-->GMT issue

[Paul Koning]

>>>>> "Arthur" == Arthur David Olson <Olson> writes:

 Arthur> I'm forwarding this message from Dafydd Rhys-Jones, who sent
 Arthur> it before joining the time zone mailing list.  --ado

 >> From: Dafydd Rhys-Jones [mailto:D.Rhys-Jones at F5.com] Sent:
 >> Wednesday, August 29, 2007 5:38 To: tz at lecserver.nci.nih.gov
 >> Subject: EU BST-->GMT issue

 >> Hello all,    Are there any known bugs revolving around the
 >> EU timezone not reverting from BST back to GMT?

 >> [root at server2 ~]# rm -f /etc/localtime ; ln -s /usr/share/zoneinfo/Europe/London /etc/localtime
 >> [root at server2 ~]# date
 >> Wed Aug 29 21:42:31 BST 2007
 >> [root at server2 ~]# date -s "Sun Oct 26 00:59:59 2008"
 >> Sun Oct 26 00:59:59 BST 2008
 >> [root at server2 ~]# date
 >> Sun Oct 26 00:59:59 BST 2008
 >> [root at server2 ~]# date
 >> Sun Oct 26 01:00:01 BST 2008
 >> [root at server2 ~]# date
 >> Sun Oct 26 01:00:02 BST 2008
 >> [root at server2 ~]# date
 >> Sun Oct 26 01:00:03 BST 2008
 >> [root at server2 ~]# date
 >> Sun Oct 26 01:00:04 BST 2008
 >> [root at server2 ~]# date -s "Sun Oct 26 01:00:01 2008"
 >> Sun Oct 26 01:00:01 GMT 2008

Maybe I'm missing something, but that looks correct.  The changeover
is at 01:00 UTC, and BST is an hour ahead so 00:59:59 is an hour and a
second prior to the changeover (at 02:00 BST or 01:00 UTC).

If I set time via UTC, I can see this:

$ date -u -s "Sun Oct 26 00:59:40 2008"
Sun Oct 26 00:59:40 UTC 2008
$ date
Sun Oct 26 01:59:41 BST 2008
$ date
Sun Oct 26 01:59:45 BST 2008
$ date
Sun Oct 26 01:00:00 GMT 2008

If the change is supposed to happen at 01:00 BST, then indeed there's
a problem, but the file claims 01:00 UTC as the changeover time.

    paul