eclipse-glsp / glsp

Graphical language server platform for building web-based diagram editors
https://www.eclipse.dev/glsp
Other
203 stars 33 forks source link

Reconnect handling during startup #1278

Open ndoschek opened 9 months ago

ndoschek commented 9 months ago

Follow-up of https://github.com/eclipse-glsp/glsp/issues/77

The main feature for the reconnect handling for the theia-integration was implemented and merged. Tobias did some exhaustive testing and noticed that some server/client actions might get lost if the reconnect takes longer and happens during startup. He listed his obserations here: https://github.com/eclipse-glsp/glsp-theia-integration/pull/197#pullrequestreview-1875169697

planger commented 8 months ago

Seems to be just the corner case of broken connection during the loading phase.