1.1 --- a/samples/zipfs.js Fri Sep 11 21:08:07 2015 +0530
1.2 +++ b/samples/zipfs.js Tue Sep 15 16:17:33 2015 +0530
1.3 @@ -36,13 +36,12 @@
1.4
1.5 var Files = Java.type("java.nio.file.Files")
1.6 var FileSystems = Java.type("java.nio.file.FileSystems")
1.7 -var FileVisitOption = Java.type("java.nio.file.FileVisitOption")
1.8 var Paths = Java.type("java.nio.file.Paths")
1.9
1.10 var zipfile = Paths.get(arguments[0])
1.11 var fs = FileSystems.newFileSystem(zipfile, null)
1.12 var root = fs.rootDirectories[0]
1.13 -Files.walk(root, FileVisitOption.FOLLOW_LINKS).forEach(
1.14 +Files.walk(root).forEach(
1.15 function(p) (print(p), print(Files.readAttributes(p, "zip:*")))
1.16 )
1.17 fs.close()
