tadd root servers - plan9port - [fork] Plan 9 from user space
 (HTM) git clone git://src.adamsgaard.dk/plan9port
 (DIR) Log
 (DIR) Files
 (DIR) Refs
 (DIR) README
 (DIR) LICENSE
       ---
 (DIR) commit 469e5e5196565eac53b2d341ea865800150705d4
 (DIR) parent 05eb37f26784d69c88bef2cb2eda573e644dde71
 (HTM) Author: rsc <devnull@localhost>
       Date:   Tue, 14 Feb 2006 19:37:32 +0000
       
       add root servers
       
       Diffstat:
         M ndb/local                           |       6 +++++-
         A ndb/root-servers                    |      32 +++++++++++++++++++++++++++++++
       
       2 files changed, 37 insertions(+), 1 deletion(-)
       ---
 (DIR) diff --git a/ndb/local b/ndb/local
       t@@ -4,6 +4,8 @@
        # probably need some kind of syntax to avoid hard-coding paths.
        
        database
       +        file=cox-home
       +        file=root-servers
        
        # authentication domains
        
       t@@ -16,4 +18,6 @@ authdom=cs.bell-labs.com
        authdom=tip9ug.jp
                auth=mordor.tip9ug.jp
                
       -authdom=pdos.csail.mit.edu auth=glenda.csail.mit.edu
       +authdom=pdos.csail.mit.edu
       +        auth=glenda.csail.mit.edu
       +
 (DIR) diff --git a/ndb/root-servers b/ndb/root-servers
       t@@ -0,0 +1,32 @@
       +#
       +#  entries defining the dns root.  these will be overridden by any
       +#  authentic info obtained from the root.
       +#
       +dom=
       +        ns=A.ROOT-SERVERS.NET
       +        ns=B.ROOT-SERVERS.NET
       +        ns=C.ROOT-SERVERS.NET
       +        ns=D.ROOT-SERVERS.NET
       +        ns=E.ROOT-SERVERS.NET
       +        ns=F.ROOT-SERVERS.NET
       +        ns=G.ROOT-SERVERS.NET
       +        ns=H.ROOT-SERVERS.NET
       +        ns=I.ROOT-SERVERS.NET
       +        ns=J.ROOT-SERVERS.NET
       +        ns=K.ROOT-SERVERS.NET
       +        ns=L.ROOT-SERVERS.NET
       +        ns=M.ROOT-SERVERS.NET
       +dom=A.ROOT-SERVERS.NET ip=198.41.0.4
       +dom=B.ROOT-SERVERS.NET ip=192.228.79.201
       +dom=C.ROOT-SERVERS.NET ip=192.33.4.12
       +dom=D.ROOT-SERVERS.NET ip=128.8.10.90
       +dom=E.ROOT-SERVERS.NET ip=192.203.230.10
       +dom=F.ROOT-SERVERS.NET ip=192.5.5.241
       +dom=G.ROOT-SERVERS.NET ip=192.112.36.4
       +dom=H.ROOT-SERVERS.NET ip=128.63.2.53
       +dom=I.ROOT-SERVERS.NET ip=192.36.148.17
       +dom=J.ROOT-SERVERS.NET ip=192.58.128.30
       +dom=K.ROOT-SERVERS.NET ip=193.0.14.129
       +dom=L.ROOT-SERVERS.NET ip=198.32.64.12
       +dom=M.ROOT-SERVERS.NET ip=202.12.27.33
       +