|
|
@ -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.. see issue https://github.com/ethereum/remix-plugin/issues/342
|
|
|
|
// 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.. 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') |
|
|
|
} |
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
@ -81,7 +81,7 @@ export class RemixdHandle extends WebsocketPlugin { |
|
|
|
} |
|
|
|
} |
|
|
|
}, 3000) |
|
|
|
}, 3000) |
|
|
|
this.locahostProvider.init(() => {}) |
|
|
|
this.locahostProvider.init(() => {}) |
|
|
|
this.call('manager', 'activatePlugin', 'git') |
|
|
|
// this.call('manager', 'activatePlugin', 'git')
|
|
|
|
} |
|
|
|
} |
|
|
|
} |
|
|
|
} |
|
|
|
if (this.locahostProvider.isConnected()) { |
|
|
|
if (this.locahostProvider.isConnected()) { |
|
|
|