MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

delete previous patch copy.

Browse Source
This commit is contained in:
Vladimir.Orlov
2015-12-01 10:47:48 +03:00
parent f24dc012e3
commit edd982831e
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/bootstrap/src/com/intellij/idea/Main.java
+1 -1
View File
@@ -195,7 +195,6 @@ public class Main {
String patchFileName = ("jetbrains.patch.jar." + platform).toLowerCase(Locale.US);
String tempDir = System.getProperty("java.io.tmpdir");
File patch = new File(tempDir, patchFileName);
if (!patch.exists()) return;
// always delete previous patch copy
File patchCopy = new File(tempDir, patchFileName + "_copy");
@@ -206,6 +205,7 @@ public class Main {
throw new IOException("Cannot delete temporary files in " + tempDir);
}
if (!patch.exists()) return;
File log4j = new File(PathManager.getLibPath(), "log4j.jar");
if (!log4j.exists()) throw new IOException("Log4J is missing: " + log4j);