Version 19.2, December 2018

[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 b7a08fcf8d7d19b2314129ed66900b06bc01f460..c4e294665e128def7d1fcbfb048cb516624d5d00 100644 (file)
--- a/tim/prune/gui/map/MapSource.java
+++ b/tim/prune/gui/map/MapSource.java
@@ -89,7 +89,7 @@ public abstract class MapSource
                // check prefix
                try
                {
-                       urlOk = new URL(urlstr.replace('[', 'w').replace(']', 'w')) != null;
+                       urlOk = new URL(urlstr.replace('[', 'w').replace(']', 'w')).toString() != null;
                }
                catch (MalformedURLException e)
                {