| commit | 09bc95c542b9e80a702c31fa9a8e123a08fc5fed | |
| author | Lucian Wischik <ljw@fb.com> | |
| Tue, 16 May 2017 22:09:12 +0000 (16 15:09 -0700) | ||
| committer | Hhvm Bot <hhvm-bot@users.noreply.github.com> | |
| Tue, 16 May 2017 22:15:09 +0000 (16 15:15 -0700) | ||
| tree | ed2ae09ba946d10ab67a9046b01bbbd5d4f7572e | treesnapshot (tar.gz zip) |
| parent | 2ea57541989eb95deef2938020e011ca5731b646 | commitdiff |
terminate hh_client if connection to server crashes
Summary:
If the connection to the server crashes, then we must close the "hh_client lsp" server.
Shutting down is the only way an LSP server can communicate to the editor that it needs to be restarted.
Reviewed By: dabek, arxanas
Differential Revision: D5013174
fbshipit-source-id: 48e433ec5166eee91812dfcb3e0a42382144c66b
Summary:
If the connection to the server crashes, then we must close the "hh_client lsp" server.
Shutting down is the only way an LSP server can communicate to the editor that it needs to be restarted.
Reviewed By: dabek, arxanas
Differential Revision: D5013174
fbshipit-source-id: 48e433ec5166eee91812dfcb3e0a42382144c66b
| hphp/hack/src/client/clientLsp.ml | diffblobblamehistory |