preferences and servers

[Anil Madhavapeddy]

I'm a bit confused about this - I setup preferences on the
2.3 demo.horde.org, but to give the user a choice about their
server means enabling the various preferences in prefs.php

No problem there... however, if I enter a server that is 
broken, this seems to be saved as my permanent user-level
preference, and so I can't login again to change it!

I disabled preferences for the moment on it anyhows.

-- 
Anil Madhavapeddy, <anil@recoil.org>