Ik gebruik een MySQL database om tijden vast te leggen, die ik middels php op m'n site wil laten zien.
Nu vraag ik me echter af wat er allemaal voor nodig is om zo'n timestamp uit de database (die dus volgens de server-side tijd en timezone-settings) om te zetten naar een equivalent uit een andere tijdzone.
Ik ging er in eerste instantie van uit, dat het mogelijk zou moeten zijn om bijvoorbeeld allereerst de timestamp naar GMT om te zetten, en vervolgens de gegevens van de nieuwe timestamp (-1h, +1h, etc) te verwerken door het betreffende aantal uren bij de oorspronkelijke tijd op te tellen. Dit is geen probleem, en ik heb ook verschillende sites gevonden die deze manier vermelden.
Nu begin ik echter een beetje te twijfelen; is het bijtellen van het aantal uren/minuten wel genoeg? Ik merkte bijvoorbeeld dat er meerdere gebieden zijn die tijdzone GMT+1 hebben (Amsterdam, West Central Africa), maar toch als aparte tijdzones genoemd worden (zie hiervoor ook de Time Zone settings in Windows). Ik denk dat Daylight Saving Time hiermee iets te maken heeft. Ik vermoed dat Daylight Saving Time in elk van deze gebieden op een andere manier wordt gebruikt. Zo zou het volgens mij dus kunnen voorkomen dat het in gebied 1 10:00u is, terwijl het in gebied 2 net 9:00u is geworden vanwege de Daylight Saving Time. Mijn vraag is nu: dient met het omvormen van tijden ook rekening gehouden te worden met andere factoren als de Daylight Saving Time?
Nu vraag ik me echter af wat er allemaal voor nodig is om zo'n timestamp uit de database (die dus volgens de server-side tijd en timezone-settings) om te zetten naar een equivalent uit een andere tijdzone.
Ik ging er in eerste instantie van uit, dat het mogelijk zou moeten zijn om bijvoorbeeld allereerst de timestamp naar GMT om te zetten, en vervolgens de gegevens van de nieuwe timestamp (-1h, +1h, etc) te verwerken door het betreffende aantal uren bij de oorspronkelijke tijd op te tellen. Dit is geen probleem, en ik heb ook verschillende sites gevonden die deze manier vermelden.
Nu begin ik echter een beetje te twijfelen; is het bijtellen van het aantal uren/minuten wel genoeg? Ik merkte bijvoorbeeld dat er meerdere gebieden zijn die tijdzone GMT+1 hebben (Amsterdam, West Central Africa), maar toch als aparte tijdzones genoemd worden (zie hiervoor ook de Time Zone settings in Windows). Ik denk dat Daylight Saving Time hiermee iets te maken heeft. Ik vermoed dat Daylight Saving Time in elk van deze gebieden op een andere manier wordt gebruikt. Zo zou het volgens mij dus kunnen voorkomen dat het in gebied 1 10:00u is, terwijl het in gebied 2 net 9:00u is geworden vanwege de Daylight Saving Time. Mijn vraag is nu: dient met het omvormen van tijden ook rekening gehouden te worden met andere factoren als de Daylight Saving Time?
01010100011010000110010100100000010011110100111001000101001000000011101000101001