Version 17, September 2014

[GpsPrune.git] / tim / prune / gui / map / MapSource.java

diff --git a/tim/prune/gui/map/MapSource.java b/tim/prune/gui/map/MapSource.java
index d838ef34d99d47a7f7fe524b8a63e87cf98609b6..88ab85aa5e11eb4f45b22c4a0e4cc20ce7708a03 100644 (file)
--- a/tim/prune/gui/map/MapSource.java
+++ b/tim/prune/gui/map/MapSource.java
@@ -87,6 +87,8 @@ public abstract class MapSource
                // check prefix
                try {
                        new URL(urlstr.replace('[', 'w').replace(']', 'w'));
+                       // There's a warning that this URL object isn't used, but it's enough to know the parse
+                       // was successful without an exception being thrown.
                }
                catch (MalformedURLException e)
                {