diff options
author | Aram Drevekenin <aram@poor.dev> | 2024-03-20 08:51:02 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-03-20 08:51:02 +0100 |
commit | 0d60bf16bfdc691be41c7a9ed191a90bbbaf9f61 (patch) | |
tree | 6a119180886b6f83a06b678b6678f0232165157c | |
parent | 65a7fcf426e6131fe68b300fb746271419a08865 (diff) |
fix(stability): various crashes (#3209)
-rw-r--r-- | zellij-server/src/screen.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/zellij-server/src/screen.rs b/zellij-server/src/screen.rs index 4594fe3cb..bba6baeb9 100644 --- a/zellij-server/src/screen.rs +++ b/zellij-server/src/screen.rs @@ -116,7 +116,7 @@ macro_rules! active_tab_and_connected_client_id { ($screen:ident, $client_id:ident, $closure:expr, ?) => { match $screen.get_active_tab_mut($client_id) { Ok(active_tab) => { - $closure(active_tab, $client_id)?; + $closure(active_tab, $client_id).non_fatal(); }, Err(_) => { if let Some(client_id) = $screen.get_first_client_id() { |