more handles

pull/2977/head
filip mertens 2 years ago
parent 1a55024d4d
commit 9723b790d9
  1. 8
      apps/remix-ide/src/app/files/git-handle.js
  2. 8
      apps/remix-ide/src/app/files/slither-handle.js
  3. 8
      apps/remix-ide/src/app/plugins/remixd-handle.tsx

@ -15,4 +15,12 @@ export class GitHandle extends WebsocketPlugin {
constructor () {
super(profile)
}
callPluginMethod(key, payload = []) {
if (this.socket.readyState !== this.socket.OPEN) {
console.log(`${this.profile.name} connection is not opened.`)
return false
}
return super.callPluginMethod(key, payload)
}
}

@ -16,4 +16,12 @@ export class SlitherHandle extends WebsocketPlugin {
constructor () {
super(profile)
}
callPluginMethod(key, payload = []) {
if (this.socket.readyState !== this.socket.OPEN) {
console.log(`${this.profile.name} connection is not opened.`)
return false
}
return super.callPluginMethod(key, payload)
}
}

@ -71,6 +71,14 @@ export class RemixdHandle extends WebsocketPlugin {
}
async callPluginMethod(key: string, payload?: any[]) {
if (this.socket.readyState !== this.socket.OPEN) {
console.log(`${this.profile.name} connection is not opened.`)
return false
}
return super.callPluginMethod(key, payload)
}
/**
* connect to localhost if no connection and render the explorer
* disconnect from localhost if connected and remove the explorer

Loading…
Cancel
Save