mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
[platform] gives discernible names to downloaded patches (IDEA-198858)
This commit is contained in:
+1
-1
@@ -43,7 +43,7 @@ object UpdateInstaller {
|
||||
val from = chain[i - 1].withoutProductCode().asString()
|
||||
val to = chain[i].withoutProductCode().asString()
|
||||
val patchName = "${product}-${from}-${to}-patch${jdk}-${PatchInfo.OS_SUFFIX}.jar"
|
||||
val patchFile = File(getTempDir(), "patch${i}.jar")
|
||||
val patchFile = File(getTempDir(), "${product}-patch${i}-${from}-${to}.jar")
|
||||
val url = URL(patchesUrl, patchName).toString()
|
||||
val partIndicator = object : DelegatingProgressIndicator(indicator) {
|
||||
override fun setFraction(fraction: Double) {
|
||||
|
||||
Reference in New Issue
Block a user