language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-10-02 21:44:34 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

fix: server restarting issue

Browse source
This commit is contained in:
Shunsuke Shibayama 2025-02-24 22:42:01 +09:00
parent 170a0c99c9
commit f6959ecca7
2 changed files with 3 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

1
crates/els/file_cache.rs
View file

@ -84,6 +84,7 @@ impl FileCache {
} }
} }
#[allow(unused)]
pub fn clear(&self) { pub fn clear(&self) {
self.files.borrow_mut().clear(); self.files.borrow_mut().clear();
self.editing.borrow_mut().clear(); self.editing.borrow_mut().clear();

3
crates/els/server.rs
View file

@ -741,10 +741,11 @@ impl<Checker: BuildRunnable, Parser: Parsable> Server<Checker, Parser> {
} }
/// Restart the server. Clear caches and close & reopen channels. /// Restart the server. Clear caches and close & reopen channels.
/// The server does not erase client-dependent information because it cannot notify the client of the restart and receive resources (such as workspace files) again.
#[allow(unused)] #[allow(unused)]
pub(crate) fn restart(&mut self) { pub(crate) fn restart(&mut self) {
lsp_log!("restarting ELS"); lsp_log!("restarting ELS");
self.file_cache.clear(); // self.file_cache.clear();
self.comp_cache.clear(); self.comp_cache.clear();
if let Some(chan) = self.channels.as_ref() { if let Some(chan) = self.channels.as_ref() {
chan.close(); chan.close();