jdk/src/windows/classes/sun/nio/fs/WindowsPath.java
changeset 9025 a72fc1fc4b71
parent 8808 fc799c458da8
child 9050 26c2c1de1631
--- a/jdk/src/windows/classes/sun/nio/fs/WindowsPath.java	Thu Mar 31 22:07:32 2011 -0700
+++ b/jdk/src/windows/classes/sun/nio/fs/WindowsPath.java	Mon Apr 04 18:09:53 2011 +0100
@@ -831,9 +831,9 @@
     }
 
     @Override
-    public WindowsPath toRealPath(boolean resolveLinks) throws IOException {
+    public WindowsPath toRealPath(LinkOption... options) throws IOException {
         checkRead();
-        String rp = WindowsLinkSupport.getRealPath(this, resolveLinks);
+        String rp = WindowsLinkSupport.getRealPath(this, Util.followLinks(options));
         return createFromNormalizedPath(getFileSystem(), rp);
     }