odoo / odoo-ls

Odoo Language Server
Other
57 stars 11 forks source link

[FIX] server: close server if communication is pipe is broken #64

Closed fda-odoo closed 1 year ago

fda-odoo commented 1 year ago

Actually if the server is left alone (should not happen, but still), the communication is broken, and it starts to log that he can't communicate, then crash, then log, etc... This commit ensure that it doesn't happen and choose to close the server if the communication pipe is broken. This behaviour could be fine-tuned if the server appear to be used independently for multiple client (?)