From b726fff0e32aa3a1cdefb6266bae5d92e1bd4ab3 Mon Sep 17 00:00:00 2001
From: "Vassiliy.Kudryashov" <Vassiliy.Kudryashov@jetbrains.com>
Date: Mon, 19 Jun 2017 16:08:25 +0300
Subject: [PATCH] http://foo shouldn't be replaced with http:/foo

---
 .../src/com/intellij/help/impl/HelpManagerImpl.java           | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/platform/platform-impl/src/com/intellij/help/impl/HelpManagerImpl.java b/platform/platform-impl/src/com/intellij/help/impl/HelpManagerImpl.java
index f41c09f135eb..e8ee2cadfd16 100644
--- a/platform/platform-impl/src/com/intellij/help/impl/HelpManagerImpl.java
+++ b/platform/platform-impl/src/com/intellij/help/impl/HelpManagerImpl.java
@@ -73,7 +73,9 @@ public class HelpManagerImpl extends HelpManager {
       }
       String productVersion = info.getMajorVersion() + "." + minorVersion;
 
-      String url = (info.getWebHelpUrl() + "/" + productVersion + "/?" + id).replaceAll("//", "/");
+      String url = info.getWebHelpUrl();
+      if (!url.endsWith("/")) url += "/";
+      url += productVersion + "/?" + id;
 
       if (PlatformUtils.isJetBrainsProduct()) {
         String productCode = info.getBuild().getProductCode();