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]