Changeset 15456


Ignore:
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:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/abcl/src/org/armedbear/lisp/URLPathname.java

    r15448 r15456  
    261261      }
    262262    }
     263    // <https://docs.microsoft.com/en-us/archive/blogs/ie/file-uris-in-windows>
    263264    if (Utilities.isPlatformWindows
    264265  && getDevice() instanceof SimpleString) {
    265       sb.append(getDevice().getStringValue())
     266      sb.append("/")
     267        .append(getDevice().getStringValue())
    266268  .append(":");
    267269    }
Note: See TracChangeset for help on using the changeset viewer.