On Tuesday 27 April 2004 22:36, Jan Harkes wrote: > On Tue, Apr 27, 2004 at 10:08:56PM +0200, Sebastian K�gler wrote: > > 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.)
> A complete client reinit wil ofcourse always do the trick, but you will > lose the logged mutations and will have to re-hoard everything. I flushed the clients caches, and that solved the problem indeed. Thanks again! -- sebas -------------- Don't bother us with politics, respond those who don't want to learn. - Richard Stallman
