mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
OPENIDE restore support for idea.patches.url to allow custom patch location
This commit is contained in:
committed by
Nikita Iarychenko
parent
100b5e37da
commit
36c2550634
+2
-1
@@ -30,7 +30,8 @@ class OpenIdeExternalResourceUrls : ExternalProductResourceUrls {
|
||||
.let { Urls.newFromEncoded(it) }
|
||||
|
||||
override fun computePatchUrl(from: BuildNumber, to: BuildNumber): Url =
|
||||
Urls.newFromEncoded("https://download.openide.ru/ide").resolve(computePatchFileName(from, to))
|
||||
System.getProperty("idea.patches.url", "https://download.openide.ru/ide")
|
||||
.let { Urls.newFromEncoded(it).resolve(computePatchFileName(from, to)) }
|
||||
|
||||
override val bugReportUrl: ((String) -> Url)
|
||||
get() = { Urls.newFromEncoded("https://gitflic.ru/project/openide/openide/issue/create") }
|
||||
|
||||
Reference in New Issue
Block a user