[dev] server list selection / preferences problem

[Anil Madhavapeddy]

Quoting Michael Bull <mbull@uoguelph.ca>:

> 
> I'm thinking that the login page should override the preferences 
> settings  -- I believe I remember reading something about this behavior 
> awhile back, but wanted to mention it.   Remembering the server in the 
> preferences doesn't really work when there is a prompt for one... I'm not 
> sure what the best overall solution is... but the current way seems to be a 
> bit problematic, perhaps?
> 

This is a known problem (and why demo.horde.org has its preferences
switched off, for example), but I believe Jon has a solution.  Not
sure what it is though ... ?

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