eclipse-theia/theia

Workspace service does not handle updates on network drives

Ouverte

#12 132 ouverte le 1 févr. 2023

 (3 commentaires) (0 réaction) (0 personne assignée)TypeScript (2 478 forks)batch import
help wantedworkspace

Métriques du dépôt

Stars
 (18 676 étoiles)
Métriques de merge PR
 (Métriques PR en attente)

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:

  1. Create multiroot workspace on a network drive where
  2. Open ide on this workspace
  3. Edit the file containing workspace roots
  4. Workspace service couldn't handle file update

Additional Information

  • Operating System: Windows 10

Guide contributeur