From 0da271679ea31fa7f7a4ce57325a989d94171cf8 Mon Sep 17 00:00:00 2001 From: yann300 Date: Mon, 8 Mar 2021 14:06:22 +0100 Subject: [PATCH] add comment --- apps/remix-ide/src/app/files/remixd-handle.js | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/apps/remix-ide/src/app/files/remixd-handle.js b/apps/remix-ide/src/app/files/remixd-handle.js index ddebac6bf8..87b4cc834b 100644 --- a/apps/remix-ide/src/app/files/remixd-handle.js +++ b/apps/remix-ide/src/app/files/remixd-handle.js @@ -38,7 +38,7 @@ export class RemixdHandle extends WebsocketPlugin { 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) => { if (error) console.log(error) }) @@ -49,7 +49,7 @@ export class RemixdHandle extends WebsocketPlugin { } 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') }