Hi,

my php (4.3.4) is giving confusing results for times, switching (apparently at random) between daylight savings time and normal time. The following code gives a summertime result for a couple of days (e.g. "Mon, 4 Jun 2007 23:01:25 +0100"), then normal time (e.g. ".... 22:01:25 +0000"), and so on:

$timenow = time();
echo date("r",$timenow);

It happens regardless of browsers and machines.

My hosting provider has no idea how this is happening, nor do I. The timestamp would be the same in both formats (right?), so I'm guessing it must be something in the php setup that determines whether it displays as summertime or not, and this is somehow getting messed up. But I know nothing about the server side of things.

Is there anything I can point the server people to that might solve this?

Thanks in advance!