Unable to open files with special characters in the file name

[slavek-kucera]

I am unable to open files that have special characters in their file name (like !#$%&'()+,-.0123456789;=@ABCDEFGHIJKLMNOPQRSTUVWXYZ[]^_`abcdefghijklmnopqrstuvwxyz{}~ or test_utf_8_🧿) that I use during testing.
I think that the problem is that URIs are not properly encoded and then decoded in places like

vscode-test-web/fs-provider/src/fsExtensionMain.ts

Line 112 in 3f0f858

const url = serverUri.with({ query: 'stat' }).toString(/*skipEncoding*/ true);

and

vscode-test-web/src/server/mounts.ts

Line 35 in 3f0f858

const p = path.join(folderMountPath, ctx.path.substring(mountPrefix.length));

[aeschli]

To verify:

• close this repo
• run yarn && yarn sample
• this opens vscode in the browser on a test workspace that has folders and files with special characters,
• verify these can be opened.

[slavek-kucera]

👍 The fix solves the problem. Thank you.