Fix id source range mapping with path_get_info (#517)

This commit is contained in:
Kurt Hutten
2023-09-14 13:49:59 +10:00
committed by GitHub
parent 6ac79ae645
commit 3c76721159
4 changed files with 95 additions and 5 deletions

View File

@ -75,6 +75,6 @@ export async function executor(
await engineCommandManager.waitForReady
engineCommandManager.startNewSession()
const programMemory = await _executor(ast, pm, engineCommandManager)
await engineCommandManager.waitForAllCommands()
await engineCommandManager.waitForAllCommands(ast, programMemory)
return programMemory
}