search

eclipse-sprotty / sprotty-server

Server implementation for the Sprotty diagramming framework
https://eclipse.org/sprotty
Eclipse Public License 2.0
23 stars 19 forks source link

[enhancement] As an extension developer I would like to use a customized client instead of `LanguageClient` as my remote proxy #13

Closed kittaakos closed 5 years ago

kittaakos commented 5 years ago

https://github.com/eclipse/sprotty-server/blob/f01d5a72f72ff0a0d698ecfe5c97ed6eaa5ab8d9/org.eclipse.sprotty.xtext/src/main/java/org/eclipse/sprotty/xtext/launch/DiagramServerSocketLauncher.xtend#L50

https://github.com/eclipse/sprotty-server/blob/f01d5a72f72ff0a0d698ecfe5c97ed6eaa5ab8d9/org.eclipse.sprotty.xtext/src/main/java/org/eclipse/sprotty/xtext/launch/DiagramServerLauncher.xtend#L71

Otherwise, I cannot send a push notification from the server to the client.