Update IPv4 address for idris

diff --git a/src/hosts.js b/src/hosts.js
index 9580ead7215828fd90ca4621006f3fc535b66dbf..8d31e24af88d2dbafd098d25a60bb30b8f399cde 100644 (file)
--- a/src/hosts.js
+++ b/src/hosts.js
@@ -77,7 +77,7 @@ var GRISU_IPV6 = "2001:41c9:2:d6::20";
 var GRISU_INTERNAL = "10.0.32.20";
 var GRISU_OOB = "10.0.33.20";
 
-var IDRIS_IPV4 = "200.25.60.195";
+var IDRIS_IPV4 = "200.25.60.197";
 var IDRIS_IPV6 = "2800:1e0:1030::64";
 
 var IRONBELLY_IPV4 = "130.117.76.10";

diff --git a/src/tile.openstreetmap.yml b/src/tile.openstreetmap.yml
index bcbadecf9d2ca0b42aee10b715fe677ce76ed54f..38574cd87d66e4e96abb9f08926b4d7bd0e45d5c 100644 (file)
--- a/src/tile.openstreetmap.yml
+++ b/src/tile.openstreetmap.yml
@@ -608,7 +608,7 @@ buenosaires:
   colour: "#33a02c"
   bandwidth: 60
   name: idris
-  ipv4: 200.25.60.195
+  ipv4: 200.25.60.197
   ipv6: 2800:1e0:1030::64
   allowed:
     continents: