stop timing out on failure

Summary:
The language server thread now stays open forever when another thread panics. We should send an exit notification to stop it before panicing.

other approaches:
- D79298090 does not print the failed test
- ?

Reviewed By: grievejia

Differential Revision: D79298267

fbshipit-source-id: 9306b68dced28779da18bd0cd8e8eadcf9c7a7e7

Author: kinto0

pyrefly/lib/test/lsp/lsp_interaction/util.rs

@@ -94,15 +94,20 @@ pub fn run_test_lsp(test_case: TestCase) {
         });
         // this thread sends messages to the language server (from test case)
         scope.spawn(move || {
+            let exit_message= Message::Notification(Notification {method: Exit::METHOD.to_owned(), params: serde_json::json!(null)});
             for  msg in
                 get_initialize_messages(&test_case.workspace_folders, test_case.configuration, test_case.file_watch)
                     .into_iter()
                     .chain(test_case.messages_from_language_client)
-                     .chain(once(Message::Notification(Notification {method: Exit::METHOD.to_owned(), params: serde_json::json!(null)})))
+                     .chain(once(exit_message.clone()))
             {
+                let stop_language_server = || {
+                    language_server_sender.send_timeout(exit_message.clone(), timeout).unwrap();
+                };
                 let send = || {
                     eprintln!("client--->server {}", serde_json::to_string(&msg).unwrap());
                     if let Err(err) = language_server_sender.send_timeout(msg.clone(), timeout) {
+                        // no need to stop_language_server, the channel is closed
                         panic!("Failed to send message to language server: {:?}", err);
                     }
                 };
@@ -119,6 +124,7 @@ pub fn run_test_lsp(test_case: TestCase) {
                         {
                             // continue
                         } else {
+                            stop_language_server();
                             panic!("Did not receive response for request {:?}", id);
                         }
                     }
@@ -135,6 +141,7 @@ pub fn run_test_lsp(test_case: TestCase) {
                         if request_id == *response_id {
                             send();
                         } else {
+                            stop_language_server();
                             panic!(
                                 "language client received request {}, expecting to send response for {}",
                                 request_id, response_id