()
| 328 | } |
| 329 | |
| 330 | async readIndexFile() { |
| 331 | const indexPath = vscode.Uri.joinPath(this.folder, ".botloader/index.json"); |
| 332 | let contents = await vscode.workspace.fs.readFile(indexPath); |
| 333 | let decoder = new TextDecoder("utf-8"); |
| 334 | let parsedIndex: IndexFile = JSON.parse(decoder.decode(contents)); |
| 335 | return parsedIndex; |
| 336 | } |
| 337 | |
| 338 | // synchronizesa the workspaces with the remote scripts |
| 339 | // tries to be as non destructive as possible |
no outgoing calls
no test coverage detected