Update server.rs

erg-lang · Jun 16, 2024 · 0b9b89a · 0b9b89a
1 parent ea6e3df
commit 0b9b89a
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/crates/els/server.rs b/crates/els/server.rs
@@ -331,6 +331,9 @@ impl<Checker: BuildRunnable, Parser: Parsable> Server<Checker, Parser> {
                     Ok(msg) => msg,
                     Err(err) => {
                         lsp_log!("error: {err}");
+                        if err.kind() == io::ErrorKind::UnexpectedEof {
+                            panic!("unexpected EOF");
+                        }
                         continue;
                     }
                 };
@@ -355,6 +358,9 @@ impl<Checker: BuildRunnable, Parser: Parsable> Server<Checker, Parser> {
                             Ok(msg) => msg,
                             Err(err) => {
                                 lsp_log!("error: {err}");
+                                if err.kind() == io::ErrorKind::UnexpectedEof {
+                                    panic!("unexpected EOF");
+                                }
                                 continue;
                             }
                         };