Fix #786: Catch NumberFormatException when checking server protocol

James Leigh · James Leigh · commit a9d92c3ed66e · 2017-04-05T13:28:29.000-04:00
Signed-off-by: James Leigh &lt;james.leigh@ontotext.com&gt;
diff --git a/core/http/workbench/src/main/java/org/eclipse/rdf4j/workbench/proxy/ServerValidator.java b/core/http/workbench/src/main/java/org/eclipse/rdf4j/workbench/proxy/ServerValidator.java
@@ -118,6 +118,9 @@ private boolean canConnect(final String server) {
 				reader.close();
 			}
 		}
+		catch (NumberFormatException e) {
+			LOGGER.warn(e.toString(), e);
+		}
 		catch (MalformedURLException e) {
 			LOGGER.warn(e.toString(), e);
 		}

Original file line number	Diff line number	Diff line change
`@@ -118,6 +118,9 @@ private boolean canConnect(final String server) {`
`118`	`118`	`reader.close();`
`119`	`119`	`}`
`120`	`120`	`}`
	`121`	`+ catch (NumberFormatException e) {`
	`122`	`+ LOGGER.warn(e.toString(), e);`
	`123`	`+ }`
`121`	`124`	`catch (MalformedURLException e) {`
`122`	`125`	`LOGGER.warn(e.toString(), e);`
`123`	`126`	`}`