diff options
| author | Can Celik <ogulcancelik@gmail.com> | 2026-09-16 15:16:45 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2026-09-16 15:16:45 +0300 |
| commit | d1a53b2c0e7a365c20a524d75906ae83c6094458 (patch) | |
| tree | 867b7ffb30c70d60ddad3b20975550dda21ca96f /src/client/shell/mobile.rs | |
| parent | 18061191fdc019498610aee81f0df93f6c2ebd31 (diff) | |
fix: keep local usable when remote machines stall (#4234)
refs #3903
Diffstat (limited to 'src/client/shell/mobile.rs')
| -rw-r--r-- | src/client/shell/mobile.rs | 12 |
1 files changed, 4 insertions, 8 deletions
diff --git a/src/client/shell/mobile.rs b/src/client/shell/mobile.rs index 185bef51..8f06f54b 100644 --- a/src/client/shell/mobile.rs +++ b/src/client/shell/mobile.rs @@ -1000,16 +1000,12 @@ impl ClientShellState { if endpoint_id == self.active_endpoint_id { self.mode = ClientShellMode::Terminal; self.navigate_workspace_id = None; - } else if self.endpoint_is_online(&endpoint_id) { + if endpoint_id.is_local() { + self.activate_endpoint(endpoint_id, outcome); + } + } else if self.activate_endpoint(endpoint_id, outcome) { self.mode = ClientShellMode::Terminal; self.navigate_workspace_id = None; - outcome.actions.push(ClientShellAction::ActivateEndpoint { - endpoint_id, - target: None, - }); - } else { - let label = self.endpoint_label(&endpoint_id).to_owned(); - self.receive_endpoint_unavailable(format!("{label} is not ready")); } } Some(ClientMobileTarget::NewWorkspace) => { |
