From a91175fdd8a5862d8e1afcad6888a636542bbda6 Mon Sep 17 00:00:00 2001 From: Markus Koch Date: Fri, 26 Feb 2021 20:13:02 +0100 Subject: htdocs: Add script to auto-refresh streets etc. --- htdocs/geojson/update.php | 16 ++++++++++++++++ htdocs/geojson/update_all.sh | 12 ++++++++++++ 2 files changed, 28 insertions(+) create mode 100644 htdocs/geojson/update.php create mode 100755 htdocs/geojson/update_all.sh (limited to 'htdocs/geojson') 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 @@ + $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." -- cgit v1.2.3