Changeset 6525 in josm for trunk/src/org/openstreetmap/josm/gui/preferences/server/ProxyPreferenceListener.java

Timestamp:

2013-12-24T23:40:10+01:00 (10 years ago)

Author:

Don-vip

Message:

fix server preferences dialog broken in r6523 + reload MOTD after proxy update if it fails because of a proxy error

File:

• trunk/src/org/openstreetmap/josm/gui/preferences/server/ProxyPreferenceListener.java (added)