óraátállítás körüli problémák

Egy ideje online rádió fejlesztésében veszek részt. Ez a rádió teljes egészében beavatkozás nélkül működik. Hétvégén legenerálja a következő heti műsort, aztán az adott napon a player mindig veszi a következő napi műsort, aztán éjféltől az szól. Az óraátállítás viszont kissé gondolkodósra sikerült. Az addig okés, hogy 24, 23 vagy 25 órányi műsort generálok. A megjelenítésnél (mi szól most, illetve a következő x szám) már nem teljesen triviális. Mindig tudnom kéne az átálláskor, hogy a 2 és 3 óra közti időszakban mi a helyzet. Pedig nem tudom. Mert php hibába futottam.

$zone = new DateTimeZone(‘Europe/Budapest’);
$date = new \DateTime(‘now’, $zone);
var_dump($date->format(‘r I’), date(‘r I’));

Ez a kód nyári szerint 2 és 3 között azt adja vissza, hogy már téli van. A date a helyes eredményt adja vissza. OSX és Ubuntu alatt is reprodukálható a téma.
Verziók:
PHP 5.4.7 (cli) (built: Oct 28 2012 08:17:31)
PHP 5.3.10-1ubuntu3

Úgy tűnik a DateTime nem jól kérdezi le a rendszeridőt.

Most pedig megnézem, a forráskódban, hogy mi okozza a gebaszt.

Update:

Olyankor amikor stringet kap, akkor ugyan az a lib parseolja fel mint a strtotime() így az is hibás eredményt ad. Egyetlen esetben sikerült daylight save time biztos módon megkapnom a datetime objectet, ha így inicializáltam:

$date = new \DateTime(‘@’. time());
$date->setTimeZone(new DateTimeZone(date_default_timezone_get()));

Most nem fogok mélyebben belemászni, hogy mindez miért van, de valahol egy elég régi bug van, mert a neten is található néhány megválaszolatlan poszt a témában.