(extension: Extension)
| 319 | } |
| 320 | |
| 321 | async removeExtension(extension: Extension): Promise<void> { |
| 322 | if (this.extensions.delete(extension)) { |
| 323 | await this.stopExtension(extension); |
| 324 | } |
| 325 | } |
| 326 | |
| 327 | private async startExtension(extension: Extension): Promise<void> { |
| 328 | try { |