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

better path

Browse Source
This commit is contained in:
Eugene Zhuravlev
2012-03-11 16:03:49 +01:00
parent 042e04c5e6
commit f070cb50e8
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
jps/jps-builders/src/org/jetbrains/jps/incremental/Paths.java
+2 -1
View File
@@ -35,7 +35,8 @@ public class Paths {
}
public static File getDataStorageRoot(Project project) {
return new File(getInstance().mySystemRoot, project.getProjectName().toLowerCase(Locale.US) + Integer.toHexString(project.getLocationHash()));
final String name = project.getProjectName().toLowerCase(Locale.US);
return new File(getInstance().mySystemRoot, name + "_" + Integer.toHexString(project.getLocationHash()));
}
public static URI toURI(String localPath) {