You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
A minor, low-priority feature request: It would be handy to have server-side support for workspace restarts, and update the CLI restart command to use it. Currently, this command first invokes a stop transition, then a start transition. This means it's not possible to invoke a restart from within the workspace itself, since the workspace will shut down before it has a chance to issue the start command.
The text was updated successfully, but these errors were encountered:
A minor, low-priority feature request: It would be handy to have server-side support for workspace restarts, and update the CLI
restart
command to use it. Currently, this command first invokes astop
transition, then astart
transition. This means it's not possible to invoke a restart from within the workspace itself, since the workspace will shut down before it has a chance to issue the start command.The text was updated successfully, but these errors were encountered: