@@ -448,6 +448,7 @@ export default class StartWorkspace extends React.Component<StartWorkspaceProps,
448
448
let phase : StartPhase | undefined = StartPhase . Preparing ;
449
449
let title = undefined ;
450
450
let isTimedOut = false ;
451
+ let isStoppingOrStopped = false ;
451
452
let statusMessage = ! ! error ? undefined : < p className = "text-base text-gray-400" > Preparing workspace …</ p > ;
452
453
const contextURL = ContextURL . getNormalizedURL ( this . state . workspace ) ?. toString ( ) ;
453
454
const useLatest = ! ! this . state . workspaceInstance ?. configuration ?. ideConfig ?. useLatest ;
@@ -622,6 +623,7 @@ export default class StartWorkspace extends React.Component<StartWorkspaceProps,
622
623
623
624
// Stopping means that the workspace is currently shutting down. It could go to stopped every moment.
624
625
case "stopping" :
626
+ isStoppingOrStopped = true ;
625
627
if ( isPrebuild ) {
626
628
return (
627
629
< StartPage title = "Prebuild in Progress" >
@@ -659,6 +661,7 @@ export default class StartWorkspace extends React.Component<StartWorkspaceProps,
659
661
660
662
// Stopped means the workspace ended regularly because it was shut down.
661
663
case "stopped" :
664
+ isStoppingOrStopped = true ;
662
665
phase = StartPhase . Stopped ;
663
666
if ( this . state . hasImageBuildLogs ) {
664
667
const restartWithDefaultImage = ( event : React . MouseEvent ) => {
@@ -710,7 +713,12 @@ export default class StartWorkspace extends React.Component<StartWorkspaceProps,
710
713
break ;
711
714
}
712
715
return (
713
- < StartPage phase = { phase } error = { error } title = { title } showLatestIdeWarning = { ! isTimedOut && useLatest } >
716
+ < StartPage
717
+ phase = { phase }
718
+ error = { error }
719
+ title = { title }
720
+ showLatestIdeWarning = { ! isTimedOut && ! isStoppingOrStopped && useLatest }
721
+ >
714
722
{ statusMessage }
715
723
</ StartPage >
716
724
) ;
0 commit comments