Calling the API 'deactivatePlugin' didn't deactivate it
yann300 opened this issue · 2 comments
yann300 commented
Here's the line that had to be changed in remix-ide.
https://github.com/ethereum/remix-project/pull/946/files#diff-2ad69d48cacf44d289764525138962e8fc1d8d66b25606f6407930a3cdb7cd61L41
(calling the 'activatePlugin' seemed to work)
bunsenstraat commented
remixd can't call candeactivate on itself. that's the reason, it times out, but why is not clear. it's a websocket plugin.
yann300 commented
good catch!