Commits on Nov 22, 2022

1. Drain pending requests on language server termination …

   This prevents a freeze while shutting down when using `efm-langserver`.
   `efm-langserver` exits immediately after seeing a shutdown request,
   without responding to the request. We block awaiting the reply to the
   shutdown request which will never come, so we time out.
   
   This change responds to any pending requests with `Err` saying that the
   stream has been closed.

   

   the-mikedavis committed Nov 22, 2022
   Configuration menu

   • View commit details
   • Copy full SHA for bfc618b
   • Browse repository at this point

   Copy the full SHA

   bfc618b View commit details

   Browse the repository at this point in the history