test/tools/javac/diags/FileManager.java

changeset 708
c8b4a1e76089
parent 610
3640b60bd0f6
child 2525
2eb010b6cb22
     1.1 --- a/test/tools/javac/diags/FileManager.java	Tue Oct 05 17:37:31 2010 -0700
     1.2 +++ b/test/tools/javac/diags/FileManager.java	Thu Oct 07 15:26:32 2010 -0700
     1.3 @@ -177,12 +177,14 @@
     1.4          }
     1.5  
     1.6          void checkRead() throws IOException {
     1.7 -            if (cantRead != null && cantRead.matcher(getName()).matches())
     1.8 +            String canonName = getName().replace(File.separatorChar, '/');
     1.9 +            if (cantRead != null && cantRead.matcher(canonName).matches())
    1.10                  throw new IOException("FileManager: Can't read");
    1.11          }
    1.12  
    1.13          void checkWrite() throws IOException {
    1.14 -            if (cantWrite != null && cantWrite.matcher(getName()).matches())
    1.15 +            String canonName = getName().replace(File.separatorChar, '/');
    1.16 +            if (cantWrite != null && cantWrite.matcher(canonName).matches())
    1.17                  throw new IOException("FileManager: Can't write");
    1.18          }
    1.19  

mercurial