|
|
@ -77,11 +77,11 @@ public class ZipExtensionTool { |
|
|
|
} |
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
public void install() { |
|
|
|
public void install() { |
|
|
|
ProgressHandle progressHandle = ProgressHandleFactory.createHandle("Installing " + extensionName + " data"); |
|
|
|
|
|
|
|
progressHandle.start(); |
|
|
|
|
|
|
|
if (new File(settingsFolder + File.separator + extensionName).exists()) { |
|
|
|
if (new File(settingsFolder + File.separator + extensionName).exists()) { |
|
|
|
return; |
|
|
|
return; |
|
|
|
} |
|
|
|
} |
|
|
|
|
|
|
|
ProgressHandle progressHandle = ProgressHandleFactory.createHandle("Installing " + extensionName + " data"); |
|
|
|
|
|
|
|
progressHandle.start(); |
|
|
|
if (Utilities.isWindows()) { |
|
|
|
if (Utilities.isWindows()) { |
|
|
|
extractToolsJava(packageName + "/" + extensionName + "-" + SUFFIX_WIN + ".zip", settingsFolder + File.separator + extensionName); |
|
|
|
extractToolsJava(packageName + "/" + extensionName + "-" + SUFFIX_WIN + ".zip", settingsFolder + File.separator + extensionName); |
|
|
|
} else if (Utilities.isMac()) { |
|
|
|
} else if (Utilities.isMac()) { |
|
|
|