mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-08-26 15:27:45 +07:00
Ilya.Kazakevichandintellij-monorepo-bot
5e02a54c6d
We used to upload helpers on every single `ExecService` call. We now: 1. Add `measureUploadTime` to measure upload time. 2. Fix `TargetEnvironmentRequestHandler` to delegate/bridge uploading process to `HelpersAwareTargetEnvironmentRequest`. These classes return mapping for WSL and upload helpers to SSH. 3. Add cache to SSH not to access the remote server too often. (cherry picked from commit 24503ef19c78ce678cd34801b72620c95537644b) GitOrigin-RevId: 651682cbfb8a8c3dc028435e913011bb3cd1aab1
30 lines
1.3 KiB
XML
30 lines
1.3 KiB
XML
<idea-plugin visibility="public">
|
|
<dependencies>
|
|
<module name="intellij.python.community.helpersLocator"/>
|
|
<!-- region Generated dependencies - run `Generate Product Layouts` to regenerate -->
|
|
<module name="intellij.python.community"/>
|
|
<module name="intellij.python.processOutput.common"/>
|
|
<!-- endregion -->
|
|
</dependencies>
|
|
|
|
<extensionPoints>
|
|
<extensionPoint qualifiedName="Pythonid.execService.targetEnvironmentRequestHandler"
|
|
interface="com.intellij.python.community.execService.impl.TargetEnvironmentRequestHandler"
|
|
dynamic="true"/>
|
|
|
|
</extensionPoints>
|
|
<extensions defaultExtensionNs="com.intellij">
|
|
<registryKey defaultValue="2"
|
|
description="How many heavy processes to execute concurrently"
|
|
key="python.execService.limit.heavy" restartRequired="true"/>
|
|
|
|
<registryKey defaultValue="10"
|
|
description="How many medium processes to execute concurrently"
|
|
key="python.execService.limit.medium" restartRequired="true"/>
|
|
|
|
<registryKey defaultValue="100"
|
|
description="How many light processes to execute concurrently"
|
|
key="python.execService.limit.light" restartRequired="true"/>
|
|
</extensions>
|
|
|
|
</idea-plugin> |