Small bug when updating server info

Hi guys,

Just found a small bug in pgAdmin3 (2nd November snapshot on Win32).

When there is a bunch of existing server definitions, and I right click
one, then choose "Properties" it lets me edit the properties.

In the bug I found, if the existing definition has the SSL option set to
"require" and I change it to some else (i.e. "allow" or the blank one),
then that doesn't get saved.

Every time I start pgAdmin, I have to change the definition again before
using it. Bit of a pain. ;) (Sure, I could just delete and re-create
it, but I haven't yet).

Some of the other options are saved (i.e. username), but I haven't
rigourouly gone through and changed them all.

Thought it worth mentioning.

Regards and best wishes,

Justin Clift

--
Executive Director
Digital Distribution Global Training Services Pty. Ltd.
Premier OpenOffice.org and StarOffice Online Training providers
http://www.digitaldistribution.com