Commit b5256640 authored by Jérome Perrin's avatar Jérome Perrin

software/theia: adjust frontend request for Theia 1.24.0 👷

The path of the websocket endoint is different
parent 1a445eb4
......@@ -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
......
......@@ -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
}
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment