eclipse-theia/theia

Workspace service does not handle updates on network drives

Open

#12.132 aberto em 1 de fev. de 2023

Ver no GitHub
 (3 comments) (0 reactions) (0 assignees)TypeScript (2.478 forks)batch import
help wantedworkspace

Métricas do repositório

Stars
 (18.676 stars)
Métricas de merge de PR
 (Mesclagem média 12d 10h) (73 fundiu PRs em 30d)

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

Guia do colaborador