diff --git a/components/dashboard/src/start/StartWorkspace.tsx b/components/dashboard/src/start/StartWorkspace.tsx index f3350c03f8f421..bca642eb115b8b 100644 --- a/components/dashboard/src/start/StartWorkspace.tsx +++ b/components/dashboard/src/start/StartWorkspace.tsx @@ -324,7 +324,11 @@ export default class StartWorkspace extends React.Component -
-
 
-
-

- {this.state.workspaceInstance.workspaceId} -

- -

- {contextURL} -

-
-
-
-
- - - - - - -
- - ); - } else { - statusMessage =

Opening Workspace …

; - } + statusMessage =

Opening Workspace …

; } else { phase = StartPhase.IdeReady; const openLink = this.state.desktopIde.link; diff --git a/components/supervisor/frontend/src/index.ts b/components/supervisor/frontend/src/index.ts index 3f8c8ca375f5ed..15d6f607ca8c38 100644 --- a/components/supervisor/frontend/src/index.ts +++ b/components/supervisor/frontend/src/index.ts @@ -108,9 +108,19 @@ const toStop = new DisposableCollection(); //#region current-frame let current: HTMLElement = loading.frame; let desktopRedirected = false; + let currentInstanceId = ""; const nextFrame = () => { const instance = gitpodServiceClient.info.latestInstance; if (instance) { + // refresh web page when instanceId changed + if (currentInstanceId !== "") { + if (instance.id !== currentInstanceId && instance.ideUrl !== "") { + currentInstanceId = instance.id; + window.location.href = instance.ideUrl; + } + } else { + currentInstanceId = instance.id; + } if (instance.status.phase === 'running') { if (!hideDesktopIde) { if (isDesktopIde == undefined) {