>>>>> "Jan" == Jan Harkes <jaharkes_at_cs.cmu.edu> writes:

    Jan> You can possibly work around this by having the names of your
    Jan> servers in /etc/hosts so that DNS lookup succeed even when
    Jan> disconnected.

Already thought of that, not good enough.  Apparently an actual Coda
connection to the server is required.  If you go "cfs disconnect; ls
/coda" before accessing /coda in any way, you get the dangling
symlink.  "cfs resconnect; cfs checkservers; ls /coda" -> Bingo!

    Jan> I probably never really get in the situation that I restart
    Jan> venus while disconnected.

Someday your battery is going to go wonky (that's why I prefer to shut
down, and one of Coda's NetBSD buddies is in that situation too IIRC).
Fix it now, for your own good.  ;-)


-- 
Institute of Policy and Planning Sciences     http://turnbull.sk.tsukuba.ac.jp
University of Tsukuba                    Tennodai 1-1-1 Tsukuba 305-8573 JAPAN
               Ask not how you can "do" free software business;
              ask what your business can "do for" free software.