On Thu, 18 Sep 2003, Nick Reinking wrote:
On Thu, Sep 18, 2003 at 08:51:08PM +0000, Brion Vibber wrote:
A manual workaround is to go into LocalSettings (rather, CommonSettings) and change the server IP from the real one to localhost. It'll talk to the local server, find no database by that name, and crap out immediately.
Can we just change the IP address in /etc/hosts instead?
Well, we can change a configuration file that's owned by root and affects a lot of system-wide things, or we can change a configuration file that any of our developers with login access can change and which won't screw with attempts to contact the server otherwise.
-- brion vibber (brion @ pobox.com)