From 35dc6a3fa9b135521015c4b8b191f87e54c3fd65 Mon Sep 17 00:00:00 2001
From: Dmitry Jemerov <yole@jetbrains.com>
Date: Tue, 2 Aug 2011 18:49:16 +0200
Subject: [PATCH] property for customizing patch download URL (IDEA-71751)

---
 .../intellij/openapi/updateSettings/impl/UpdateChecker.java   | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/platform/platform-impl/src/com/intellij/openapi/updateSettings/impl/UpdateChecker.java b/platform/platform-impl/src/com/intellij/openapi/updateSettings/impl/UpdateChecker.java
index 55ad6a48da08..7d55245f514f 100644
--- a/platform/platform-impl/src/com/intellij/openapi/updateSettings/impl/UpdateChecker.java
+++ b/platform/platform-impl/src/com/intellij/openapi/updateSettings/impl/UpdateChecker.java
@@ -118,6 +118,10 @@ public final class UpdateChecker {
   }
 
   private static String getPatchesUrl() {
+    String url = System.getProperty("idea.patches.url");
+    if (url != null) {
+      return url;
+    }
     return StringHolder.PATCHES_URL;
   }