Changeset 5664

Timestamp:

2003-10-17T04:40:21+13:00 (21 years ago)

Author:

jmt12

Message:

Bug in Preferences caused NPE if no port number given.

File:

• trunk/gli/src/org/greenstone/gatherer/gui/Preferences.java (modified) (1 diff)

trunk/gli/src/org/greenstone/gatherer/gui/Preferences.java

@@ -145 +145 @@
     Dictionary.registerText(proxy_port_label, "Preferences.Connection.Proxy_Port");
     String port_value = Gatherer.config.getString("general.proxy_port", true);
-    proxy_port_field = new JSpinner(new SpinnerNumberModel((new Integer(port_value)).intValue(), 0, 65535, 1));
+    if(port_value.length() > 0) {
+       proxy_port_field = new JSpinner(new SpinnerNumberModel((new Integer(port_value)).intValue(), 0, 65535, 1));
+    }
+    else {
+       proxy_port_field = new JSpinner(new SpinnerNumberModel(0, 0, 65535, 1));
+    }
     proxy_port_field.setEnabled(currently_enabled);
     Dictionary.registerTooltip(proxy_port_field, "Preferences.Connection.Proxy_Port_Tooltip");