Überkinger
Lieutenant
- Registriert
- Juli 2010
- Beiträge
- 600
Hallo,
ich möchte Zeiten runden und bin mir unschlüssig ob dieser Weg ok ist.
Klappt auch prima. Nur unschön wenn die Ausgabezeit zwischen xx:45 und xx:59 Uhr liegt.
Ich hätte jetzt folgendes gemacht:
if ($prog_minute >= 46 AND $prog_minute <= 59) {
$timestamp = $timestamp +3600;
$proghour = date("G",$timestamp);
$minute = 00;
}
ich möchte Zeiten runden und bin mir unschlüssig ob dieser Weg ok ist.
PHP:
$timestamp = filemtime ($quelle_htm);
$prog_minute = date ("i",filemtime ($quelle_htm);
if ($prog_minute >= 00 AND $prog_minute <= 15) {
$minute = 15;
}
if ($prog_minute >= 16 AND $prog_minute <= 30) {
$minute = 30;
}
if ($prog_minute >= 31 AND $prog_minute <= 45) {
$minute = 45;
}
if ($prog_minute >= 46 AND $prog_minute <= 59) {
$minute = 59;
}
Klappt auch prima. Nur unschön wenn die Ausgabezeit zwischen xx:45 und xx:59 Uhr liegt.
Ich hätte jetzt folgendes gemacht:
if ($prog_minute >= 46 AND $prog_minute <= 59) {
$timestamp = $timestamp +3600;
$proghour = date("G",$timestamp);
$minute = 00;
}