equal
deleted
inserted
replaced
103 byte[] bits = new byte[12345]; |
103 byte[] bits = new byte[12345]; |
104 rdm.nextBytes(bits); |
104 rdm.nextBytes(bits); |
105 os.write(bits); |
105 os.write(bits); |
106 os.close(); |
106 os.close(); |
107 |
107 |
|
108 try { |
|
109 provider.newFileSystem(new File(System.getProperty("test.src", ".")).toPath(), |
|
110 new HashMap<String, Object>()); |
|
111 throw new RuntimeException("newFileSystem() opens a directory as zipfs"); |
|
112 } catch (UnsupportedOperationException uoe) {} |
|
113 |
|
114 try { |
|
115 provider.newFileSystem(src, new HashMap<String, Object>()); |
|
116 throw new RuntimeException("newFileSystem() opens a non-zip file as zipfs"); |
|
117 } catch (UnsupportedOperationException uoe) {} |
|
118 |
|
119 |
108 // copyin |
120 // copyin |
109 Path dst = getPathWithParents(fs, tmpName); |
121 Path dst = getPathWithParents(fs, tmpName); |
110 Files.copy(src, dst); |
122 Files.copy(src, dst); |
111 checkEqual(src, dst); |
123 checkEqual(src, dst); |
112 |
124 |