# HG changeset patch
# User Frank Benoit <benoit@tionex.de>
# Date 1217567728 -7200
# Node ID cfecc1fcffc2f97f99b99d35286fe4497c321522
# Parent  e72345914350aa9d42d5091188c033d9abfca6d9
Fix path handling, thanks yidabu for reporting.

diff -r e72345914350 -r cfecc1fcffc2 dwt/dwthelper/File.d
--- a/dwt/dwthelper/File.d	Thu Jul 31 21:56:03 2008 -0700
+++ b/dwt/dwthelper/File.d	Fri Aug 01 07:15:28 2008 +0200
@@ -7,6 +7,7 @@
 
 static import tango.io.model.IFile;
 static import tango.io.FilePath;
+static import tango.io.Path;
 static import tango.io.FileSystem;
 
 public class File {
@@ -26,7 +27,7 @@
     }
 
     public this ( String pathname ){
-        mFilePath = new tango.io.FilePath.FilePath( pathname );
+        mFilePath = new tango.io.FilePath.FilePath( tango.io.Path.standard( pathname ));
     }
 
     public this ( String parent, String child ){