fixes #118 (again) spaces are encoded as plus signs in connection names

PhilippSalvisberg · PhilippSalvisberg · commit 78f0ae852242 · 2021-01-04T10:02:18.000+01:00
diff --git a/sqldev/src/main/java/org/utplsql/sqldev/model/URLTools.java b/sqldev/src/main/java/org/utplsql/sqldev/model/URLTools.java
@@ -43,7 +43,9 @@ public static String getConnectionName(final URL url) {
         final Pattern p = Pattern.compile("(sqldev.nav:)([^/]+)(//)?");
         final Matcher m = p.matcher(url.toString());
         if (m.find()) {
-            return replaceHexChars(m.group(2).replace("IdeConnections%2523", "IdeConnections%23"));
+            return replaceHexChars(m.group(2)
+                    .replace("IdeConnections%2523", "IdeConnections%23")) // remove connection prefix
+                    .replace("+", " "); // spaces are encoded als plus signs, fix that, see #118
         } else {
             return "";
         }
