Hello!

It seems to me that the Coda client upon first connecting to a server
caches the server's IP address so that if the server later changes IP
address, the client won't do a new DNS lookup but continue trying to
connect to the old IP address. Is that so? If so, is there any way to
get a client to update the IP address of a server? (It is, of course,
possible to re-initialize the client, but that will loose the cache.)

Cheers // Fredrik Roubert

-- 
Teglbrennerveien 7b  |  +47 41266295
NO-7013 Trondheim    |  http://www.df.lth.se/~roubert/