jdk/src/share/classes/java/nio/file/spi/FileSystemProvider.java
changeset 11286 a49be3718db9
parent 9035 1255eb81cc2f
child 18574 4aeaeb541678
--- a/jdk/src/share/classes/java/nio/file/spi/FileSystemProvider.java	Sat Dec 17 08:21:23 2011 -0800
+++ b/jdk/src/share/classes/java/nio/file/spi/FileSystemProvider.java	Sat Dec 17 20:07:14 2011 +0000
@@ -373,11 +373,13 @@
     {
         if (options.length > 0) {
             for (OpenOption opt: options) {
-                if (opt != StandardOpenOption.READ)
+                // All OpenOption values except for APPEND and WRITE are allowed
+                if (opt == StandardOpenOption.APPEND ||
+                    opt == StandardOpenOption.WRITE)
                     throw new UnsupportedOperationException("'" + opt + "' not allowed");
             }
         }
-        return Channels.newInputStream(Files.newByteChannel(path));
+        return Channels.newInputStream(Files.newByteChannel(path, options));
     }
 
     /**