Make idris a management server

diff --git a/src/openstreetmap.js b/src/openstreetmap.js
index 82b15b560ab4eb35d431b37f59470408169f5af5..061c2a9c70ef76ca2207b544da52ca75e32f259a 100644 (file)
--- a/src/openstreetmap.js
+++ b/src/openstreetmap.js
@@ -488,7 +488,7 @@ D(DOMAIN, REGISTRAR, DnsProvider(PROVIDER),
   AAAA("prometheus", STORMFLY03_IPV6, TTL("10m")),
   A("stormfly-03.oob", STORMFLY03_OOB),
 
-  // Chef server
+  // Management server
 
   A("sarel", SAREL_IPV4),
   A("chef", SAREL_IPV4),
@@ -499,6 +499,11 @@ D(DOMAIN, REGISTRAR, DnsProvider(PROVIDER),
   A("sarel.ucl", SAREL_INTERNAL),
   A("sarel.oob", SAREL_OOB),
 
+  A("idris", IDRIS_IPV4),
+  AAAA("idris", IDRIS_IPV6),
+  A("idris.dub", IDRIS_INTERNAL),
+  A("idris.oob", IDRIS_OOB),
+
   // Forum server
 
   A("clifford", CLIFFORD_IPV4),
@@ -664,10 +669,6 @@ D(DOMAIN, REGISTRAR, DnsProvider(PROVIDER),
 
   // Spare
 
-  A("idris", IDRIS_IPV4),
-  AAAA("idris", IDRIS_IPV6),
-  A("idris.dub", IDRIS_INTERNAL),
-  A("idris.oob", IDRIS_OOB),
   A("konqi", KONQI_IPV4),
   AAAA("konqi", KONQI_IPV6),
   A("konqi.dub", KONQI_INTERNAL),