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

IDEA-117059 (same temp. directory for updater)

Browse Source
This commit is contained in:
Roman Shevchenko
2013-11-28 20:36:56 +01:00
parent 9154ab0c5c
commit d38a23d789
1 changed files with 4 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/bootstrap/src/com/intellij/idea/Main.java
+4 -2
View File
@@ -123,8 +123,9 @@ public class Main {
private static void installPatch() throws IOException {
String platform = System.getProperty(PLATFORM_PREFIX_PROPERTY, "idea");
String patchFileName = ("jetbrains.patch.jar." + platform).toLowerCase();
File originalPatchFile = new File(System.getProperty("java.io.tmpdir"), patchFileName);
File copyPatchFile = new File(System.getProperty("java.io.tmpdir"), patchFileName + "_copy");
String tempDir = System.getProperty("java.io.tmpdir");
File originalPatchFile = new File(tempDir, patchFileName);
File copyPatchFile = new File(tempDir, patchFileName + "_copy");
// always delete previous patch copy
if (!FileUtilRt.delete(copyPatchFile)) {
@@ -153,6 +154,7 @@ public class Main {
"-Xmx500m",
"-classpath",
copyPatchFile.getPath(),
"-Djava.io.tmpdir=" + tempDir,
"com.intellij.updater.Runner",
"install",
PathManager.getHomePath());