Index: Resource.java
===================================================================
--- Resource.java       (revision 45897)
+++ Resource.java       (working copy)
@@ -21,6 +21,7 @@
 import org.apache.tools.ant.Project;
 import org.apache.tools.ant.taskdefs.Get;
 import org.apache.tools.ant.types.Path;
+import org.apache.tools.ant.util.FileUtils;
 
 import java.io.File;
 import java.io.FileNotFoundException;
@@ -246,8 +247,14 @@
             final String host = hosts[i];
             try
             {
+
+                FileUtils utils = FileUtils.newFileUtils();
+
+                String parsed = utils.toURI( path ).substring( 5 );
+
                 final URL url = new URL( host );
-                final URL source = new URL( url, path );
+                final URL source = new URL( url, parsed );
+
                 final File tempFile = File.createTempFile( "magic_", ".temp", 
targetDir);
                 boolean useTimeStamps = false;
                 if( target.exists() )

---------------------------------------------------------------------
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]

Reply via email to