$ntime) { file_put_contents($fn, $ctime); echo "Downloading... "; flush(); system("cd /srv/http/maps.linux-forks.de/geojson/; ./update_all.sh"); } else { echo "Next update in " . intval(($ntime - $ctime) / 60) . " minutes."; } ?>