Index: src/org/apache/cocoon/generation/DirectoryGenerator.java
===================================================================
RCS file: /home/cvspublic/xml-cocoon2/src/org/apache/cocoon/generation/DirectoryGenerator.java,v
retrieving revision 1.12
diff -u -r1.12 DirectoryGenerator.java
--- src/org/apache/cocoon/generation/DirectoryGenerator.java	2001/08/25 19:40:32	1.12
+++ src/org/apache/cocoon/generation/DirectoryGenerator.java	2001/08/31 15:26:41
@@ -21,6 +21,7 @@
 
 import java.io.File;
 import java.io.IOException;
+import java.net.URL;
 import java.text.SimpleDateFormat;
 import java.util.Date;
 import java.util.Map;
@@ -168,7 +169,8 @@
             if (!systemId.startsWith(FILE)) {
               throw new ResourceNotFoundException(systemId + " does not denote a directory");
             }
-            File directoryFile = new File(directory);
+            // This relies on systemId being of the form "file://..."
+            File directoryFile = new File(new URL(systemId).getFile());
             if (!directoryFile.isDirectory()) {
                 throw new ResourceNotFoundException(directory + " is not a directory.");
             }