diff --git a/platform/platform-impl/src/com/intellij/openapi/application/PluginPathManager.java b/platform/platform-impl/src/com/intellij/openapi/application/PluginPathManager.java index 04b6d9877539..1ab050053e28 100644 --- a/platform/platform-impl/src/com/intellij/openapi/application/PluginPathManager.java +++ b/platform/platform-impl/src/com/intellij/openapi/application/PluginPathManager.java @@ -80,7 +80,8 @@ public class PluginPathManager { public static String getPluginHomePathRelative(String pluginName) { File subrepo = findSubrepo(pluginName); if (subrepo != null) { - return "/" + FileUtil.getRelativePath(PathManager.getHomePath(), subrepo.getPath(), '/'); + String homePath = FileUtil.toSystemIndependentName(PathManager.getHomePath()); + return "/" + FileUtil.getRelativePath(homePath, FileUtil.toSystemIndependentName(subrepo.getPath()), '/'); } return "/plugins/" + pluginName; }