Do not attempt to reopen files that lead to a crash in previous session (fix #114844)

This commit is contained in:
Benjamin Pasero
2022-04-19 07:38:32 +02:00
parent e7c6ad74af
commit 06e26c7a57
2 changed files with 54 additions and 35 deletions
+4 -2
View File
@@ -67,8 +67,10 @@ export class Application {
}
async restart(options?: { workspaceOrFolder?: string; extraArgs?: string[] }): Promise<void> {
await this.stop();
await this._start(options?.workspaceOrFolder, options?.extraArgs);
await measureAndLog((async () => {
await this.stop();
await this._start(options?.workspaceOrFolder, options?.extraArgs);
})(), 'Application#restart()', this.logger);
}
private async _start(workspaceOrFolder = this.workspacePathOrFolder, extraArgs: string[] = []): Promise<void> {