eclipse-theia/theia
Vedi su GitHubWorkspace service does not handle updates on network drives
Open
#12.132 aperta il 1 feb 2023
help wantedworkspace
Metriche repository
- Star
- (18.676 star)
- Metriche merge PR
- (Merge medio 12g 10h) (73 PR mergiate in 30 g)
Descrizione
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