Changeset 15424


Ignore:
Timestamp:
10/20/20 06:45:23 (2 years ago)
Author:
Mark Evenson
Message:

MAKE-PATHNAME constructs URL-PATHNAME with proper type

File:
1 edited

Legend:

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

    r15414 r15424  
    12391239        p.validateDirectory(true);
    12401240
    1241         // ???  need to check for downcast to URLPathname as well?
    12421241        // Possibly downcast type to JarPathname
    12431242        if (p.getDevice() instanceof Cons) {
     
    12571256          return result;
    12581257        }
     1258
     1259        // Possibly downcast to URLPathname
     1260        if (p.isURL()) {
     1261          URLPathname result = new URLPathname();
     1262          result.copyFrom(p);
     1263
     1264          return result;
     1265        }
     1266
    12591267        return p;
    12601268    }
Note: See TracChangeset for help on using the changeset viewer.