Hi!
Warum einfach, wenn es auch umständlich geht? :-)
Neustart in (etwa) 2 Minuten:
$min=date('i')+2;
$hour=date('h');
if ($min > 59) {
$min=$min-60;
$hour++;
if ($hour > 23) {
$hour = 0;
}
}
Ersetzbar durch strtotime('+ 2 minutes')
function zweistellig($str) {
if ($str > 9) {
return $str;
} else {
return '0'.$str;
}
}
Wäre ersetzbar durch number_format() oder sprintf(), aber ...
exec ('echo skript.php | at '.zweistellig($hour).zweistellig($min));
... das strtotime()-Ergebnis ist ein Unix-Timestamp, der sich auch mit date() formatieren lässt.
Lo!