software/theia: file-upload no longer use web sockets

Since theia 1.23.0 ( https://github.com/eclipse-theia/theia/pull/9820 ),
/file-upload is a simple HTTP endoint and no longer needs to be websocket.

software/theia/buildout.hash.cfg

@@ -15,7 +15,7 @@
 
 [instance-theia]
 _update_hash_filename_ = instance-theia.cfg.jinja.in
-md5sum = faf8c84393118a023dd73888ef3075ce
+md5sum = f8dde54b49aa62669c588913d21c6b15
 
 [instance]
 _update_hash_filename_ = instance.cfg.in

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 /socket.io /file-upload
+config-websocket-path-list = /services /socket.io
 return = domain secure_access
 
 [remote-frontend]
@@ -255,9 +255,6 @@ template =
     proxy /socket.io $${theia-instance:base-url} {
       websocket
     }
-    proxy /file-upload $${theia-instance:base-url} {
-      websocket
-    }
     basicauth $${frontend-instance-password:username} $${frontend-instance-password:passwd} {
       realm "Theia"
       /