Removed old dev server from DNS.

diff --git a/data/openstreetmap.com b/data/openstreetmap.com
index 806ac942f7a6b79be0a6af60f9a0d2a98099d5de..50dce624ada0e8255688fda8f473adf90285895b 100644 (file)
--- a/data/openstreetmap.com
+++ b/data/openstreetmap.com
@@ -105,10 +105,6 @@
 
 # Development server with wildcard alias for user sites
 
-+old-dev.openstreetmap.com:128.40.168.100
-+*.old-dev.openstreetmap.com:128.40.168.100
-+old-dev.internal.openstreetmap.com:10.0.0.5
-
 +errol.openstreetmap.com:128.40.168.103
 +dev.openstreetmap.com:128.40.168.103
 +*.dev.openstreetmap.com:128.40.168.103

diff --git a/data/openstreetmap.net b/data/openstreetmap.net
index c36dc128108369d998e2f8497a5c2d2c6059e45a..b71a4f707b52fb023109a175624e7e864b3fbe6b 100644 (file)
--- a/data/openstreetmap.net
+++ b/data/openstreetmap.net
@@ -105,10 +105,6 @@
 
 # Development server with wildcard alias for user sites
 
-+old-dev.openstreetmap.net:128.40.168.100
-+*.old-dev.openstreetmap.net:128.40.168.100
-+old-dev.internal.openstreetmap.net:10.0.0.5
-
 +errol.openstreetmap.net:128.40.168.103
 +dev.openstreetmap.net:128.40.168.103
 +*.dev.openstreetmap.net:128.40.168.103

diff --git a/data/openstreetmap.org b/data/openstreetmap.org
index de4eb962e4d80d98372fc69b48352aa41078e556..a1327a97a4b31fc46307d10ac81e4d38d847ec3b 100644 (file)
--- a/data/openstreetmap.org
+++ b/data/openstreetmap.org
@@ -105,10 +105,6 @@
 
 # Development server with wildcard alias for user sites
 
-+old-dev.openstreetmap.org:128.40.168.100
-+*.old-dev.openstreetmap.org:128.40.168.100
-+old-dev.internal.openstreetmap.org:10.0.0.5
-
 +errol.openstreetmap.org:128.40.168.103
 +dev.openstreetmap.org:128.40.168.103
 +*.dev.openstreetmap.org:128.40.168.103

diff --git a/data/openstreetmaps.org b/data/openstreetmaps.org
index 0b56b657d34a97b9a24f19c47a20d2a4ba2e14d1..a3a7225f84144cd0f084292a3205c39adfcd2858 100644 (file)
--- a/data/openstreetmaps.org
+++ b/data/openstreetmaps.org
@@ -105,10 +105,6 @@
 
 # Development server with wildcard alias for user sites
 
-+old-dev.openstreetmaps.org:128.40.168.100
-+*.old-dev.openstreetmaps.org:128.40.168.100
-+old-dev.internal.openstreetmaps.org:10.0.0.5
-
 +errol.openstreetmaps.org:128.40.168.103
 +dev.openstreetmaps.org:128.40.168.103
 +*.dev.openstreetmaps.org:128.40.168.103

diff --git a/data/osm.org b/data/osm.org
index cbec168c760cf69491e724d8bfdc138514292d2b..bd2bd3625898c155babf364966d744cd51072bba 100644 (file)
--- a/data/osm.org
+++ b/data/osm.org
@@ -105,10 +105,6 @@
 
 # Development server with wildcard alias for user sites
 
-+old-dev.osm.org:128.40.168.100
-+*.old-dev.osm.org:128.40.168.100
-+old-dev.internal.osm.org:10.0.0.5
-
 +errol.osm.org:128.40.168.103
 +dev.osm.org:128.40.168.103
 +*.dev.osm.org:128.40.168.103

diff --git a/src/openstreetmap b/src/openstreetmap
index 436b8e9bf97170f3a165a3250d312a2c9e6e3f7e..c3e79e35d04e09ca73c503112ec3dfc5dac63d1f 100644 (file)
--- a/src/openstreetmap
+++ b/src/openstreetmap
@@ -105,10 +105,6 @@
 
 # Development server with wildcard alias for user sites
 
-+old-dev.openstreetmap:128.40.168.100
-+*.old-dev.openstreetmap:128.40.168.100
-+old-dev.internal.openstreetmap:10.0.0.5
-
 +errol.openstreetmap:128.40.168.103
 +dev.openstreetmap:128.40.168.103
 +*.dev.openstreetmap:128.40.168.103