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 | docs(changelog): plugin infra and ux improvements (diff) | |
| download | sl0ppij-0d60bf16bfdc691be41c7a9ed191a90bbbaf9f61.tar.gz sl0ppij-0d60bf16bfdc691be41c7a9ed191a90bbbaf9f61.tar.xz sl0ppij-0d60bf16bfdc691be41c7a9ed191a90bbbaf9f61.zip | |
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 4594fe3c..bba6baeb 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() { |