Changeset 15456

Timestamp:

10/29/20 16:54:54 (3 years ago)

Author:

Mark Evenson

Message:

URL-PATHNAME under windows with device has null authority

Following <​https://docs.microsoft.com/en-us/archive/blogs/ie/file-uris-in-windows>.

File:

• trunk/abcl/src/org/armedbear/lisp/URLPathname.java (modified) (1 diff)

trunk/abcl/src/org/armedbear/lisp/URLPathname.java

@@ -261 +261 @@
       }
     }
+    // <https://docs.microsoft.com/en-us/archive/blogs/ie/file-uris-in-windows>
     if (Utilities.isPlatformWindows
   && getDevice() instanceof SimpleString) {
-      sb.append(getDevice().getStringValue())
+      sb.append("/")
+        .append(getDevice().getStringValue())
   .append(":");
     }