|
|
@ -38,7 +38,7 @@ export class RemixdHandle extends WebsocketPlugin { |
|
|
|
|
|
|
|
|
|
|
|
deactivate () { |
|
|
|
deactivate () { |
|
|
|
if (super.socket) super.deactivate() |
|
|
|
if (super.socket) super.deactivate() |
|
|
|
this.appManager.deactivatePlugin('git') // plugin call doesn't work..
|
|
|
|
this.appManager.deactivatePlugin('git') // plugin call doesn't work.. see issue https://github.com/ethereum/remix-plugin/issues/342
|
|
|
|
this.locahostProvider.close((error) => { |
|
|
|
this.locahostProvider.close((error) => { |
|
|
|
if (error) console.log(error) |
|
|
|
if (error) console.log(error) |
|
|
|
}) |
|
|
|
}) |
|
|
@ -49,7 +49,7 @@ export class RemixdHandle extends WebsocketPlugin { |
|
|
|
} |
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
async canceled () { |
|
|
|
async canceled () { |
|
|
|
await this.appManager.deactivatePlugin('git') // plugin call doesn't work..
|
|
|
|
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') |
|
|
|
} |
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|