Changeset 18719
- Timestamp:
- 2009-03-19T16:00:42+13:00 (15 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
greenstone3/trunk/src/java/org/greenstone/server/Server2Settings.java
r18710 r18719 86 86 } catch(NumberFormatException nfe) { // couldn't parse port number 87 87 // not an integer, leave portnumber at 80 88 String oldNum = Integer.toString((Integer)portNumber_spinner.getValue());89 oldUrl = oldUrl.replace (oldNum, "80");90 portNumber_spinner.setValue( 80);88 String oldNum = portNumber_spinner.getValue().toString(); 89 oldUrl = oldUrl.replaceFirst(oldNum, "80"); 90 portNumber_spinner.setValue(new Integer(80)); 91 91 } 92 92 } else { // no port number 93 oldUrl = oldUrl.replace (url, url+":80");94 portNumber_spinner.setValue( 80);93 oldUrl = oldUrl.replaceFirst(url, url+":80"); 94 portNumber_spinner.setValue(new Integer(80)); 95 95 } 96 96 }
Note:
See TracChangeset
for help on using the changeset viewer.