diff --git a/apps/remix-ide/src/app/files/remixd-handle.js b/apps/remix-ide/src/app/files/remixd-handle.js index 679a27ce9a..24b9d390ad 100644 --- a/apps/remix-ide/src/app/files/remixd-handle.js +++ b/apps/remix-ide/src/app/files/remixd-handle.js @@ -53,7 +53,6 @@ export class RemixdHandle extends WebsocketPlugin { async canceled () { // await this.appManager.deactivatePlugin('git') // plugin call doesn't work.. see issue https://github.com/ethereum/remix-plugin/issues/342 await this.appManager.deactivatePlugin('remixd') - await this.appManager.deactivatePlugin('hardhat') } /** diff --git a/apps/remix-ide/src/remixAppManager.js b/apps/remix-ide/src/remixAppManager.js index a483143ba3..e60457ad4f 100644 --- a/apps/remix-ide/src/remixAppManager.js +++ b/apps/remix-ide/src/remixAppManager.js @@ -53,6 +53,8 @@ export class RemixAppManager extends PluginManager { } async deactivatePlugin (name) { + const isActive = await this.isActive(name) + if (!isActive) return const [to, from] = [ await this.getProfile(name), await this.getProfile(this.requestFrom)