eclipse-theia/theia

Workspace service does not handle updates on network drives

オープン

#12,132 opened on 2023/02/01

 (3 件のコメント) (0 件のリアクション) (0 人の担当者)TypeScript (2,478 件のフォーク)batch import
help wantedworkspace

Repository metrics

Stars
 (18,676 個のスター)
PR merge metrics
 (平均マージ 15d 4h) (30d で 75 merged PRs)

説明

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

コントリビューターガイド