Unverified Commit 78e1a57d authored by yann300's avatar yann300 Committed by GitHub

Merge pull request #984 from ethereum/fixActivateRemixd

Fix switch workspace when remixd is activated from the plugin manager
parents 9d62191f 4b2d2c3c
...@@ -90,6 +90,7 @@ export const Workspace = (props: WorkspaceProps) => { ...@@ -90,6 +90,7 @@ export const Workspace = (props: WorkspaceProps) => {
useEffect(() => { useEffect(() => {
props.localhost.event.register('connected', () => { props.localhost.event.register('connected', () => {
remixdExplorer.show() remixdExplorer.show()
setWorkspace(LOCALHOST)
}) })
props.localhost.event.register('disconnected', () => { props.localhost.event.register('disconnected', () => {
......
...@@ -80,6 +80,7 @@ function startService<S extends 'git' | 'folder'> (service: S, callback: (ws: WS ...@@ -80,6 +80,7 @@ function startService<S extends 'git' | 'folder'> (service: S, callback: (ws: WS
console.log(e) console.log(e)
} }
} }
process.exit(0)
} }
process.on('SIGINT', kill) // catch ctrl-c process.on('SIGINT', kill) // catch ctrl-c
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment