Changeset 12652

Timestamp:

05/03/10 13:43:00 (13 years ago)

Author:

Mark Evenson

Message:

Use '/' as directory path separator for URL-PATHNAME and JAR-PATHNAME.

File:

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

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

@@ -741 +741 @@
         if (directory != NIL) {
             final char separatorChar;
-            if (device instanceof Cons) {
-                separatorChar = '/'; // Jar file.
+            if (isJar() || isURL()) {
+                separatorChar = '/'; 
             } else {
                 separatorChar = File.separatorChar;