summaryrefslogtreecommitdiff
path: root/htdocs/geojson
diff options
context:
space:
mode:
Diffstat (limited to 'htdocs/geojson')
-rw-r--r--htdocs/geojson/update.php16
-rwxr-xr-xhtdocs/geojson/update_all.sh12
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."