software/theia: Upgrade to fix websocket

software/theia/buildout.hash.cfg

@@ -19,7 +19,7 @@ md5sum = f3aac995aa1129ca58f9a92851ad7091
 
 [yarn.lock]
 filename = yarn.lock
-md5sum = fb9f7bba4893ba701b9d5339d283533d
+md5sum = 92460879ef1d0165ea27113c5bb4771c
 
 [python-language-server-requirements.txt]
 filename = python-language-server-requirements.txt

software/theia/software.cfg

@@ -248,46 +248,49 @@ template =
           }
       },
       "dependencies": {
-          "@theia/callhierarchy": "latest",
-          "@theia/console": "latest",
-          "@theia/core": "latest",
-          "@theia/cpp-debug": "latest",
-          "@theia/debug": "latest",
-          "@theia/editor": "latest",
-          "@theia/editor-preview": "latest",
-          "@theia/file-search": "latest",
-          "@theia/filesystem": "latest",
-          "@theia/getting-started": "latest",
-          "@theia/git": "latest",
-          "@theia/keymaps": "latest",
-          "@theia/markers": "latest",
-          "@theia/messages": "latest",
-          "@theia/metrics": "latest",
-          "@theia/mini-browser": "latest",
-          "@theia/monaco": "latest",
-          "@theia/navigator": "latest",
-          "@theia/outline-view": "latest",
-          "@theia/output": "latest",
-          "@theia/plugin": "latest",
-          "@theia/plugin-ext": "latest",
-          "@theia/plugin-ext-vscode": "latest",
-          "@theia/preferences": "latest",
-          "@theia/preview": "latest",
-          "@theia/process": "latest",
-          "@theia/scm": "latest",
-          "@theia/search-in-workspace": "latest",
-          "@theia/task": "latest",
-          "@theia/terminal": "latest",
-          "@theia/typehierarchy": "latest",
-          "@theia/userstorage": "latest",
-          "@theia/variable-resolver": "latest",
-          "@theia/vsx-registry": "latest",
-          "@theia/workspace": "latest",
+          "@theia/callhierarchy": "next",
+          "@theia/console": "next",
+          "@theia/core": "next",
+          "@theia/cpp-debug": "next",
+          "@theia/debug": "next",
+          "@theia/editor": "next",
+          "@theia/editor-preview": "next",
+          "@theia/file-search": "next",
+          "@theia/filesystem": "next",
+          "@theia/getting-started": "next",
+          "@theia/git": "next",
+          "@theia/keymaps": "next",
+          "@theia/markers": "next",
+          "@theia/messages": "next",
+          "@theia/metrics": "next",
+          "@theia/mini-browser": "next",
+          "@theia/monaco": "next",
+          "@theia/navigator": "next",
+          "@theia/outline-view": "next",
+          "@theia/output": "next",
+          "@theia/plugin": "next",
+          "@theia/plugin-ext": "next",
+          "@theia/plugin-ext-vscode": "next",
+          "@theia/preferences": "next",
+          "@theia/preview": "next",
+          "@theia/process": "next",
+          "@theia/scm": "next",
+          "@theia/search-in-workspace": "next",
+          "@theia/task": "next",
+          "@theia/terminal": "next",
+          "@theia/typehierarchy": "next",
+          "@theia/userstorage": "next",
+          "@theia/variable-resolver": "next",
+          "@theia/vsx-registry": "next",
+          "@theia/workspace": "next",
           "@perrinjerome/theia-open": "latest",
           "@perrinjerome/theia-open-cli": "latest"
       },
       "devDependencies": {
-          "@theia/cli": "latest"
+          "@theia/cli": "next"
+      },
+      "resolutions": {
+        "@perrinjerome/theia-open/@theia/core": "1.13.0-next.7d3b1d3b"
       }
     }
 rendered = ${buildout:directory}/${:_buildout_section_name_}