- Timestamp:
- 2009-05-13T13:52:42+12:00 (15 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
greenstone3/trunk/src/java/org/greenstone/server/Server2.java
r19241 r19428 211 211 try { 212 212 int portNum = Integer.parseInt(port); 213 214 if(!PortFinder.isPortAvailable(portNum )) {213 boolean silent = true; 214 if(!PortFinder.isPortAvailable(portNum, silent)) { 215 215 216 216 PortFinder portFinder = new PortFinder(portDefault, 101); 217 portNum = portFinder.findPortInRange( );217 portNum = portFinder.findPortInRange(silent); 218 218 port = (portNum == -1) ? Integer.toString(portDefault) : Integer.toString(portNum); 219 219 config_properties.setProperty("portnumber", port); // store the correct port
Note:
See TracChangeset
for help on using the changeset viewer.