Catch errors on navto requests

Fixes #58421
This commit is contained in:
Matt Bierner
2018-09-11 10:48:37 -07:00
parent 33db532608
commit 3d011dea44

View File

@@ -44,7 +44,15 @@ class TypeScriptWorkspaceSymbolProvider implements vscode.WorkspaceSymbolProvide
file: filepath,
searchValue: search
};
const { body } = await this.client.execute('navto', args, token);
let response: Proto.NavtoResponse;
try {
response = await this.client.execute('navto', args, token);
} catch {
return [];
}
const { body } = response;
if (!body) {
return [];
}