eclipse-theia/theia

Workspace service does not handle updates on network drives

开放

#12,132 创建于 2023年2月1日

 (3 条评论) (0 个反应) (0 位负责人)TypeScript (2,478 个派生)batch import
help wantedworkspace

仓库指标

星标
 (18,676 个星标)
PR 合并指标
 (平均合并 15天 4小时) (30 天内合并 75 个 PR)

描述

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

贡献者指南