note 46285 added to function.localtime

Does anybody came across this? One of the parameters of array returned by the localtime is the daylight savings time. If you change the system time and then execute a script which calls localtime() from the browser (not from shell. This is important), then you will find that localtime is returning wrong daylight savings flag. Unless one does a hard webserver restart localtime does not reflect the changes. ---- Manual Page -- http://www.php.net/manual/en/function.localtime.php Edit -- http://master.php.net/manage/user-notes.php?action=edit+46285 Delete -- http://master.php.net/manage/user-notes.php?action=delete+46285&report=yes Reject -- http://master.php.net/manage/user-notes.php?action=reject+46285&report=yes Search -- http://master.php.net/manage/user-notes.php