(
sessionFilePath: vscode.Uri,
)
| 267 | } |
| 268 | |
| 269 | private async deleteSessionFile( |
| 270 | sessionFilePath: vscode.Uri, |
| 271 | ): Promise<void> { |
| 272 | try { |
| 273 | await vscode.workspace.fs.delete(sessionFilePath); |
| 274 | } catch { |
| 275 | // We don't care about any reasons for it to fail. |
| 276 | } |
| 277 | } |
| 278 | |
| 279 | private async waitForSessionFile( |
| 280 | cancellationToken: vscode.CancellationToken, |