[dev] server list selection / preferences problem

[Jon Parise]

On Mon, Dec 11, 2000 at 11:58:58PM +0000, Anil Madhavapeddy wrote:

> 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 ... ?
 
I'm not sure when I'll be able to look at this in detail, so if
someone else wants to get to this first, feel free.

-- 
Jon Parise (jon@csh.rit.edu)  .  Rochester Inst. of Technology
http://www.csh.rit.edu/~jon/  :  Computer Science House Member