|
|
|
@ -44,8 +44,10 @@ export class RemixdHandle extends WebsocketPlugin { |
|
|
|
|
|
|
|
|
|
async deactivate() { |
|
|
|
|
for (const plugin of this.dependentPlugins) { |
|
|
|
|
if (await this.appManager.isActive(plugin)) { |
|
|
|
|
await this.appManager.deactivatePlugin(plugin) |
|
|
|
|
} |
|
|
|
|
} |
|
|
|
|
if (super.socket) super.deactivate() |
|
|
|
|
// this.appManager.deactivatePlugin('git') // plugin call doesn't work.. see issue https://github.com/ethereum/remix-plugin/issues/342
|
|
|
|
|
this.localhostProvider.close((error) => { |
|
|
|
@ -60,9 +62,13 @@ export class RemixdHandle extends WebsocketPlugin { |
|
|
|
|
|
|
|
|
|
async canceled() { |
|
|
|
|
for (const plugin of this.dependentPlugins) { |
|
|
|
|
if (await this.appManager.isActive(plugin)) { |
|
|
|
|
await this.appManager.deactivatePlugin(plugin) |
|
|
|
|
} |
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
await this.appManager.deactivatePlugin('remixd') |
|
|
|
|
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
/** |
|
|
|
|