Merge pull request #805 from jamesrdf/issues/#786-protocol-format

Jeen Broekstra · web-flow · commit 7efde389a328 · 2017-04-12T16:05:45.000+10:00
Fix #786: Catch NumberFormatException when checking server protocol
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`	`}`