I notice that there is WebSocket support for OMERO.server.
Out of curiosity, is there WebSocket support for OMERO.web? The reason why I ask is because OMERO.web is Django server and Django provides the “Channels” Django app which provides WebSocket support. This is really useful for real-time web applications where clients are collaboratively annotating slides, …etc.
However it seems like developers can only configure Channels at the root application level and cannot configure Channels at the plugin level (i.e. must modify the OMERO.web codebase directly). For example developers need to set
CHANNEL_LAYERS and create a bunch of boilerplate using
channels.routing inside OMERO.web.
If not, is there any plan / intention for WebSocket support for OMERO.web?