Re: venti

Skip writes [in private mail]:

> Russ, I have been having the same problem for the last
> 1-2 days. The problem seems to be with timeouts and
> not the DNS; Notice the ping and the before/after
> behavior of adding the entry sources.cs. to /net/ndb.

Right, the echo to /net/ndb will make the name resolve at all
(after the real DNS times out).

Srv only gives dial() 5 seconds to establish the connection,
so you're still getting problems.  To work around this, you 
can establish /srv/sources yourself:

        srv 204.178.31.8 sources

Then there will still be a long pause for "9fs sources"
while factotum dials sources for tickets, but at least it
will work.

In summary, the right incantation is:

        echo 'dom=sources.cs.bell-labs.com sys=sources ip=204.178.31.2' 
>>/net/ndb
        echo -n refresh >/net/cs
        srv 204.178.31.8 sources
        9fs sources     # takes a while

Sorry for the inconvenience.  I have no idea what's wrong
with DNS right now.

Russ