Skip to content

Workspace service does not handle updates on network drives #12132

Open
@zakr600

Description

Bug Description:

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

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

Metadata

Assignees

No one assigned

    Labels

    help wantedissues meant to be picked up, require helpworkspaceissues related to the workspace

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions