Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

GLSP-1041: Fix connection to JavaServer via websocket #179

Merged
merged 2 commits into from
Sep 21, 2023
Merged

Conversation

tortmayr
Copy link
Contributor

@tortmayr tortmayr commented Sep 20, 2023

GLSP-1041: Fix connection to JavaServer via websocket

Update `websocket-connection-forwarder´ to send messages via websockets as decoded strings
instead of buffers. Althoug the websocket protocol supports both string and buffer messages the java
implementation is only capable of handling string messages.

Fixes eclipse-glsp/glsp#1041

Update to latest client version

Adapt code base to conform to changes for eclipse-glsp/glsp-client#288

Also

  • Ensure that the diagramDiContainer gets unloaded when the widget is disposed. (This trigger dispose functionality defiend in th diagram container (e.g. methods annoted with @preDestroy)
    -Align name of notification-module directory wither other feature root dirs (=> notification)

Requires eclipse-glsp/glsp-client#288

Update `websocket-connection-forwarder´ to send messages via websockets as decoded strings
instead of buffers.  Althoug the websocket protocol supports both string and buffer messages the java
implementation is only capable of handling string messages.

Fixes eclipse-glsp/glsp#1041

# Update to latest client version
Adapt code base to conform to changes for eclipse-glsp/glsp-client#288

# Also
- Ensure that the diagramDiContainer gets unloaded when the widget is disposed. (This trigger dispose functionality defiend in th diagram container (e.g. methods annoted with @preDestroy)
-Align name of `notification-module` directory wither other feature root dirs (=> notification)

Requires eclipse-glsp/glsp-client#288
@tortmayr tortmayr changed the title Update to latest client version GLSP-1041: Fix connection to JavaServer via websocket Sep 20, 2023
Copy link
Contributor

@martin-fleck-at martin-fleck-at left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I only tested this in Linux but the connection to the Java server via websockets seems to work and nothing else seems to be broken, thanks! LGTM!

@tortmayr tortmayr merged commit f6af4f2 into master Sep 21, 2023
4 checks passed
@tortmayr tortmayr deleted the update-client branch September 21, 2023 21:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Theia backend does not connect to external Java GLSP Server in websocket mode
2 participants