equal
deleted
inserted
replaced
198 |
198 |
199 @Override |
199 @Override |
200 public List<String> list() throws IOException { |
200 public List<String> list() throws IOException { |
201 if (System.getSecurityManager() != null) |
201 if (System.getSecurityManager() != null) |
202 checkAccess(file.getPathForPermissionCheck(), true, false); |
202 checkAccess(file.getPathForPermissionCheck(), true, false); |
203 // use stream APIs on Windwos Server 2003 and newer |
203 // use stream APIs on Windows Server 2003 and newer |
204 if (file.getFileSystem().supportsStreamEnumeration()) { |
204 if (file.getFileSystem().supportsStreamEnumeration()) { |
205 return listUsingStreamEnumeration(); |
205 return listUsingStreamEnumeration(); |
206 } else { |
206 } else { |
207 return listUsingBackupRead(); |
207 return listUsingBackupRead(); |
208 } |
208 } |