DefaultGLSPServer.exit(clientID) is gone. What is its replacement?

[glsp-bot]

I used to call 'modelStateProvider.getModelState(clientId).getModelServerAccess().unsubscribe()' to unsubscribe from the model server.
Similar to here: https://github.com/eclipsesource/coffee-editor/blob/master/backend/plugins/com.eclipsesource.workflow.glsp.server/src/main/java/com/eclipsesource/workflow/glsp/server/WorkflowGLSPServer.java

original thread by hoelzl-florian

[tortmayr]

You can register a ClientSessionListener and unsubscribe from the ModelServer once the session/client is closed. For a practical example you can look at the DefaultModelStateProvider. (https://github.com/eclipse-glsp/glsp-server/blob/c58cdef665010e808ad78c222f47e79976ac6c53/plugins/org.eclipse.glsp.server/src/org/eclipse/glsp/server/model/DefaultModelStateProvider.java#L72)

[tortmayr]

Do you have a particular reason to use the nightly GLSP versions? Otherwise I'd recommend to use the release candidates.

[glsp-bot]

[hoelzl-florian]

As part of the WebModel project it is my task to test the technology you are building (same goes for the EMF.cloud). Therefore I prefer up-to-dateness over stability, since I do not have to deliver something stable at a fixed date. If you get rid of an old implementation in favor of a better one, I no longer care about the old stuff.

So thanks for the explanation.