Workspace service does not handle updates on network drives

[zakr600]

Bug Description:

If I create a multiroot workspace on a network drive then Workspace service couldn't handle workspace root updates.

theia/packages/workspace/src/browser/workspace-service.ts

Line 104 in b28c8b9

if (this._workspace && this._workspace.isFile && event.contains(this._workspace.resource)) {

"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

[tsmaeder]

@zakr600 it would be interesting to know how you set up your system so that u:\ and /userbackup/admin/ point to the same place. Windows, I assume?

[hannescmarits]

#12771
At least this works in VS Code. No idea if this works in Code OSS as well.

[msujew]

@hannescmarits Can you test whether #12784 fixes the behavior?