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.

Sign up for GitHub

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

Jump to bottom

Provide method for pinging the server backend #15

Closed
tortmayr opened this issue Jan 27, 2020 · 1 comment
Closed

Provide method for pinging the server backend #15

tortmayr opened this issue Jan 27, 2020 · 1 comment
Assignees
@tortmayr
Labels
server-java

Comments

@tortmayr
Copy link
Contributor

This would allow the client to ping the server and if it's not alive then the client can start a new server instance from a local jar.

Similar to how this is handled in https://github.com/eclipse-emfcloud/emfcloud-modelserver
@tortmayr tortmayr transferred this issue from eclipse-glsp/glsp-server Feb 13, 2020
@tortmayr tortmayr self-assigned this Feb 15, 2020
@tortmayr tortmayr mentioned this issue Feb 15, 2020
Closed
@tortmayr
Copy link
Contributor Author

Closed for now. Pinging is not an option for the JSON-RPC usecase. In order to ping we would have establish a connection via socket beforehand (i.e. server has to run anyway).

Instead we could simply check if the socket port is already used. This can be entirely done on the client side

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@tortmayr tortmayr

Labels
server-java
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@tortmayr