mirror of
https://github.com/enso-org/enso.git
synced 2024-12-23 13:02:07 +03:00
d5a04a767e
- Fix https://github.com/enso-org/cloud-v2/issues/1337 - Fix #10381 (same issue) - This was caused by queued execution context tasks delaying the disposal of the WebSocket connections - I guess because the WebSocket is closed, either the queue never reaches that point, or retries take too long to reach that point? - There was also another issue caused by the Dashboard incorrectly caching the `project`, causing the endpoint URLs to become outdated. Misc changes: - Change `Editor.tsx` to not return two different component trees. This avoids React unmounting and re-mounting the GUI app. # Important Notes None |
||
|---|---|---|
| .. | ||
| __tests__ | ||
| ast | ||
| languageServer | ||
| languageServerTypes | ||
| util | ||
| binaryProtocol.ts | ||
| ensoFile.ts | ||
| languageServer.ts | ||
| languageServerTypes.ts | ||
| uuid.ts | ||
| yjsModel.ts | ||