I have a question about the application I am developing.
The external web application call theia editor url.
After that, I want to update the latest theia workspace by taking every five minutes of their workspace information through websocket.
The external web application is servlet-based and theia is node-based,
Is there any way to communicate websocket?
Or if you have any other ideas how the servlet app know latest the workspace, please let me know. Thank you.