()
| 556 | |
| 557 | // 获取运行中的插件 |
| 558 | public getRunningPlugins(): string[] { |
| 559 | if (this.pluginManager) { |
| 560 | return this.pluginManager.getRunningPlugins() |
| 561 | } |
| 562 | return [] |
| 563 | } |
| 564 | |
| 565 | // 终止插件 |
| 566 | public killPlugin(pluginPath: string): { success: boolean; error?: string } { |
no test coverage detected