PATHNAME attempt use java.net.URI routines for getFile()

jpellegrini · Apr 1, 2023 · 71a7cfe · 71a7cfe
1 parent 35582f2
commit 71a7cfe
Showing 1 changed file with 8 additions and 1 deletion.
diff --git a/src/org/armedbear/lisp/Pathname.java b/src/org/armedbear/lisp/Pathname.java
@@ -2166,7 +2166,14 @@ public LispObject execute(LispObject arg) {
   File getFile() {
     String namestring = getNamestring(); // XXX UNC pathnames currently have no namestring
     if (namestring != null) {
-      return new File(namestring);
+      try {
+        URI uri = new URI(namestring);
+        return new File(uri);
+      } catch (URISyntaxException ex) {
+        return new File(namestring);
+      } catch (IllegalArgumentException e) {
+        return new File(namestring);
+      }
     }
     error(new FileError("Pathname has no namestring: " + princToString(),
                         this));