fix: allow fetching file outside root uri

Loïc Mangeonjean · Loïc Mangeonjean · commit 8d4dae0ec01e · 2024-01-30T11:51:55.000+01:00
diff --git a/src/extensions.ts b/src/extensions.ts
@@ -92,9 +92,6 @@ class InfrastructureTextFileSystemProvider implements IFileSystemProviderWithFil
   }
 
   async readFile (resource: monaco.Uri): Promise<Uint8Array> {
-    if (!resource.toString().startsWith(this.infrastructure.rootUri)) {
-      throw FileSystemProviderError.create('file not found', FileSystemProviderErrorCode.FileNotFound)
-    }
     const content = await this.getFileContent(resource)
     return encoder.encode(content)
   }
@@ -112,9 +109,6 @@ class InfrastructureTextFileSystemProvider implements IFileSystemProviderWithFil
   }
 
   async stat (resource: monaco.Uri): Promise<IStat> {
-    if (!resource.toString().startsWith(this.infrastructure.rootUri)) {
-      throw FileSystemProviderError.create('file not found', FileSystemProviderErrorCode.FileNotFound)
-    }
     try {
       const content = await this.getFileContent(resource)
       if (content != null) {

Original file line number	Diff line number	Diff line change
`@@ -92,9 +92,6 @@ class InfrastructureTextFileSystemProvider implements IFileSystemProviderWithFil`
`92`	`92`	`}`
`93`	`93`
`94`	`94`	`async readFile (resource: monaco.Uri): Promise<Uint8Array> {`
`95`		`- if (!resource.toString().startsWith(this.infrastructure.rootUri)) {`
`96`		`- throw FileSystemProviderError.create('file not found', FileSystemProviderErrorCode.FileNotFound)`
`97`		`- }`
`98`	`95`	`const content = await this.getFileContent(resource)`
`99`	`96`	`return encoder.encode(content)`
`100`	`97`	`}`
`@@ -112,9 +109,6 @@ class InfrastructureTextFileSystemProvider implements IFileSystemProviderWithFil`
`112`	`109`	`}`
`113`	`110`
`114`	`111`	`async stat (resource: monaco.Uri): Promise<IStat> {`
`115`		`- if (!resource.toString().startsWith(this.infrastructure.rootUri)) {`
`116`		`- throw FileSystemProviderError.create('file not found', FileSystemProviderErrorCode.FileNotFound)`
`117`		`- }`
`118`	`112`	`try {`
`119`	`113`	`const content = await this.getFileContent(resource)`
`120`	`114`	`if (content != null) {`