> If I now issue cfs cs, coda tries to find "mobi" (which is the new owner of 
> the IP address formerly used for the server.) instead of "marvin" (which is 
> the actual server). I doublechecked that the hostname is known under the new 
> IP address on all clients, but coda does seem to ignore that. Instead coda 
> tries to reach the new owner of that IP, which fails. So the old IP address 
> of the server must be somewhere in the cache, but where? And how can I change 
> that? (grep turned not out to be very useful.)

It should be possible, but it depends on a lot of things.

We only cache ip addresses in VM, so theoretically a restart should
clear it. But you said you already restarted it, so maybe the old
servername is still mentioned somewhere (/etc/coda/realms?)

A complete client reinit wil ofcourse always do the trick, but you will
lose the logged mutations and will have to re-hoard everything.

Jan