diff options
| author | Aram Drevekenin <aram@poor.dev> | 2023-11-11 11:50:58 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-11-11 11:50:58 +0100 |
| commit | 45fea5817e8febae198e7690a9d41da5f4c48fa2 (patch) | |
| tree | c79596627042fc952c4b219017015b02c2619766 /zellij-server/src/plugins | |
| parent | docs(changelog): serialization interval (diff) | |
| download | sl0ppij-45fea5817e8febae198e7690a9d41da5f4c48fa2.tar.gz sl0ppij-45fea5817e8febae198e7690a9d41da5f4c48fa2.tar.xz sl0ppij-45fea5817e8febae198e7690a9d41da5f4c48fa2.zip | |
fix(plugins): reloading plugin after crash (#2929)
Diffstat (limited to 'zellij-server/src/plugins')
| -rw-r--r-- | zellij-server/src/plugins/plugin_loader.rs | 1 | ||||
| -rw-r--r-- | zellij-server/src/plugins/wasm_bridge.rs | 1 |
2 files changed, 1 insertions, 1 deletions
diff --git a/zellij-server/src/plugins/plugin_loader.rs b/zellij-server/src/plugins/plugin_loader.rs index 602b2c4b..39cb4362 100644 --- a/zellij-server/src/plugins/plugin_loader.rs +++ b/zellij-server/src/plugins/plugin_loader.rs @@ -507,6 +507,7 @@ impl<'a> PluginLoader<'a> { Ok(module) } pub fn compile_module(&mut self) -> Result<Module> { + self.loading_indication.override_previous_error(); display_loading_stage!( indicate_loading_plugin_from_hd_cache_notfound, self.loading_indication, diff --git a/zellij-server/src/plugins/wasm_bridge.rs b/zellij-server/src/plugins/wasm_bridge.rs index 5b7761f1..bb58d611 100644 --- a/zellij-server/src/plugins/wasm_bridge.rs +++ b/zellij-server/src/plugins/wasm_bridge.rs @@ -927,5 +927,4 @@ pub fn handle_plugin_crash(plugin_id: PluginId, message: String, senders: Thread plugin_id, loading_indication, )); - let _ = senders.send_to_plugin(PluginInstruction::Unload(plugin_id)); } |