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
impl: don't start the workspace automatically if disable-autostart is enabled
- uri handling always tried to start the workspace if it was stopped.
- this commit honors the `disable autostart` setting which should stop
the starting of the workspace automatically when connecting via SSH.
- instead user is warned via a pop-up dialog that manual starting is needed
context.logger.warn("$workspaceName from $deploymentURL is not started and autostart is disabled.")
103
+
context.ui.showInfoPopup(
104
+
context.i18n.pnotr("$workspaceName is not running"),
105
+
context.i18n.ptrl("Can't handle URI because workspace is not running and autostart is disabled. Please start the workspace manually and execute the URI again."),
106
+
context.i18n.ptrl("OK")
107
+
)
108
+
return
109
+
}
110
+
98
111
restClient.startWorkspace(workspace)
99
112
if (restClient.waitForReady(workspace) !=true) {
100
113
context.logger.error("$workspaceName from $deploymentURL could not be started on time")
0 commit comments