fixes for deactivating hardhat

pull/1232/head
filip mertens 3 years ago committed by aniket-engg
parent 3a96a09dc6
commit 4532a3b8bd
  1. 1
      apps/remix-ide/src/app/files/remixd-handle.js
  2. 2
      apps/remix-ide/src/remixAppManager.js

@ -53,7 +53,6 @@ export class RemixdHandle extends WebsocketPlugin {
async canceled () { 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('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('remixd')
await this.appManager.deactivatePlugin('hardhat')
} }
/** /**

@ -53,6 +53,8 @@ export class RemixAppManager extends PluginManager {
} }
async deactivatePlugin (name) { async deactivatePlugin (name) {
const isActive = await this.isActive(name)
if (!isActive) return
const [to, from] = [ const [to, from] = [
await this.getProfile(name), await this.getProfile(name),
await this.getProfile(this.requestFrom) await this.getProfile(this.requestFrom)

Loading…
Cancel
Save