diff options
Diffstat (limited to 'htdocs/geojson')
-rw-r--r-- | htdocs/geojson/update.php | 16 | ||||
-rwxr-xr-x | htdocs/geojson/update_all.sh | 12 |
2 files changed, 28 insertions, 0 deletions
diff --git a/htdocs/geojson/update.php b/htdocs/geojson/update.php new file mode 100644 index 0000000..06e2a13 --- /dev/null +++ b/htdocs/geojson/update.php @@ -0,0 +1,16 @@ +<?php + $fn = "/tmp/lifo_update_ts"; + $ctime = time(); + $ltime = (int)(file_get_contents($fn)); + $ntime = $ltime + 60*1 * 30; + if (isset($_GET['force'])) + $ntime = 0; + if ($ctime > $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."; + } +?> diff --git a/htdocs/geojson/update_all.sh b/htdocs/geojson/update_all.sh new file mode 100755 index 0000000..5a0bc61 --- /dev/null +++ b/htdocs/geojson/update_all.sh @@ -0,0 +1,12 @@ +#!/bin/bash + +function fetch() { + "./fetch_$1.sh" | json_reformat -m > "$1.json.tmp" + rm -f "$1.json" + mv "$1.json.tmp" "$1.json" +} + +fetch streets +fetch city_outlines + +echo "OK." |