diff --git a/software/theia/buildout.hash.cfg b/software/theia/buildout.hash.cfg index 07b5a2e23dd282557dd8c499e9f2b1b47b559d02..002bd2be98b89be5a7a81a0ac5bf720e749f7c9a 100644 --- a/software/theia/buildout.hash.cfg +++ b/software/theia/buildout.hash.cfg @@ -15,7 +15,7 @@ [instance-theia] _update_hash_filename_ = instance-theia.cfg.jinja.in -md5sum = 59d56d6a72c85f1631a1a87bb51af765 +md5sum = faf8c84393118a023dd73888ef3075ce [instance] _update_hash_filename_ = instance.cfg.in diff --git a/software/theia/instance-theia.cfg.jinja.in b/software/theia/instance-theia.cfg.jinja.in index 98783da4f7059cbb758b919ade629dec784b0e9e..4ed80854e3085511fc6f7d4786e51ddc297447ba 100644 --- a/software/theia/instance-theia.cfg.jinja.in +++ b/software/theia/instance-theia.cfg.jinja.in @@ -172,7 +172,7 @@ slave = true config-url = $${frontend-instance:url} config-https-only = true config-type = websocket -config-websocket-path-list = /services /file-upload +config-websocket-path-list = /services /socket.io /file-upload return = domain secure_access [remote-frontend] @@ -252,6 +252,9 @@ template = proxy /services $${theia-instance:base-url} { websocket } + proxy /socket.io $${theia-instance:base-url} { + websocket + } proxy /file-upload $${theia-instance:base-url} { websocket }