Merge pull request #984 from ethereum/fixActivateRemixd

Fix switch workspace when remixd is activated from the plugin manager
pull/5370/head
yann300 4 years ago committed by GitHub
commit 63ea1803b1
  1. 1
      libs/remix-ui/workspace/src/lib/remix-ui-workspace.tsx
  2. 1
      libs/remixd/src/bin/remixd.ts

@ -90,6 +90,7 @@ export const Workspace = (props: WorkspaceProps) => {
useEffect(() => {
props.localhost.event.register('connected', () => {
remixdExplorer.show()
setWorkspace(LOCALHOST)
})
props.localhost.event.register('disconnected', () => {

@ -80,6 +80,7 @@ function startService<S extends 'git' | 'folder'> (service: S, callback: (ws: WS
console.log(e)
}
}
process.exit(0)
}
process.on('SIGINT', kill) // catch ctrl-c

Loading…
Cancel
Save