MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

built-in-server endpoint to install plugins: fix parameter name

Browse Source 
GitOrigin-RevId: a60ca621ec512ef6a69c0772a74c1092897f4ee0
This commit is contained in:
Ivan Chirkov
2020-01-16 08:11:51 +00:00
committed by intellij-monorepo-bot
parent d68420a2d8
commit a721aa6463
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/built-in-server/src/org/jetbrains/ide/InstallPluginService.kt
+1 -1
View File
@@ -64,7 +64,7 @@ internal class InstallPluginService : RestService() {
.newFromEncoded(ApplicationInfoImpl.getShadowInstance().pluginManagerUrl.trimEnd('/') + "/api/getCompatibleUpdates")
.addParameters(mapOf(
"build" to getBuildNumberForDownload(),
"pluginId" to pluginId,
"pluginXmlId" to pluginId,
"max" to "1"
))
val compatibleUpdateExists = HttpRequests.request(url).readString() != "[]"