@@ -185,40 +185,6 @@ public void downloadAndUnzip(String toolKey, String targetDir, ToolSpec spec) {
185
185
});
186
186
}
187
187
188
-
189
- //TODO: Keep this code until we have tested everything on windows
190
- // private void unzipFile(String zipFilePath, String destDir) throws IOException {
191
- // File dir = new File(destDir);
192
- // if (!dir.exists()) dir.mkdirs();
193
- // File zipFile = new File(zipFilePath);
194
- // try (ZipInputStream zis = new ZipInputStream(new FileInputStream(zipFile))) {
195
- // ZipEntry entry = zis.getNextEntry();
196
- // while (entry != null) {
197
- // String filePath = destDir + File.separator + entry.getName();
198
- // if (!entry.isDirectory()) {
199
- // extractFile(zis, filePath);
200
- // } else {
201
- // File dir1 = new File(filePath);
202
- // dir1.mkdir();
203
- // }
204
- // zis.closeEntry();
205
- // entry = zis.getNextEntry();
206
- // }
207
- // }
208
- // Files.delete(zipFile.toPath());
209
- // }
210
- //
211
- // private void extractFile(ZipInputStream zis, String filePath) throws IOException {
212
- // try (BufferedOutputStream bos = new BufferedOutputStream(new FileOutputStream(filePath))) {
213
- // byte[] bytesIn = new byte[4096];
214
- // int read;
215
- // while ((read = zis.read(bytesIn)) != -1) {
216
- // bos.write(bytesIn, 0, read);
217
- // }
218
- // }
219
- // }
220
-
221
-
222
188
public boolean isInstalled (String pluginPath , ToolSpec spec ) {
223
189
return Files .exists (Paths .get (pluginPath + File .separator
224
190
+ spec .getInstallationPath ()
0 commit comments