MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-10-01 19:02:13 +07:00
Code Issues Packages Projects Releases Wiki Activity

IDEA-CR-11249: IDEA-156503 Can't update PhpStorm was updated

Browse Source
This commit is contained in:
Vladimir.Orlov
2016-06-03 19:05:28 +03:00
parent 0f5845a51b
commit 2727e1c793
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/util/src/com/intellij/util/Restarter.java
+1 -1
View File
@@ -78,7 +78,7 @@ public class Restarter {
if (beforeRestart.length == 0) return;
File restartDir = new File(getRestarterDir());
String systemPath = (System.getProperty("user.home") + "/." + System.getProperty("idea.paths.selector") + "/system/restart").replace("//", "/");
String systemPath = new File(System.getProperty("user.home") + "/." + System.getProperty("idea.paths.selector") + "/system/restart").getPath();
if (! systemPath.equals(restartDir.getPath())){
throw new IOException("idea.system.path was changed. Restart is not supported.");
}