eclipse-theia/theia
View on GitHubWorkspace service does not handle updates on network drives
Open
#12132 opened on Feb 1, 2023
help wantedworkspace
Description
Bug Description:
If I create a multiroot workspace on a network drive then Workspace service couldn't handle workspace root updates. https://github.com/eclipse-theia/theia/blob/b28c8b9d543e7df6c5d2bc524d40c50414df7e4d/packages/workspace/src/browser/workspace-service.ts#L104 "event.contains(this._workspace.resource)" Condition is always false because this._workspace.resource == "/u:/my-workspace" and event.changes[0].resource == "/userbackup/admin/my-workspace/roots.json" But u:/ and /userbackup/admin are the same drives. Nevertheless, "event.contains" check returns false
Steps to Reproduce:
- Create multiroot workspace on a network drive where
- Open ide on this workspace
- Edit the file containing workspace roots
- Workspace service couldn't handle file update
Additional Information
- Operating System: Windows 10