mirror of
https://github.com/getpaseo/paseo.git
synced 2026-11-10 10:25:03 +00:00
fix: preserve recovered workspace session state
This commit is contained in:
@@ -4012,9 +4012,11 @@ export class Session {
|
||||
|
||||
private async restoreWorkspaceAndEmit(workspaceId: string): Promise<void> {
|
||||
await this.workspaceRecovery.restore(workspaceId);
|
||||
await this.emitWorkspaceUpdatesForWorkspaceIds([workspaceId], {
|
||||
skipReconcile: true,
|
||||
});
|
||||
const workspace = await this.workspaceRegistry.get(workspaceId);
|
||||
if (!workspace) {
|
||||
throw new Error(`Recovered workspace record not found: ${workspaceId}`);
|
||||
}
|
||||
await this.workspaceGitObserver.warmGitData(workspace);
|
||||
}
|
||||
|
||||
private async restoreOwningWorkspaceForLegacyAgentRefresh(agentId: string): Promise<void> {
|
||||
|
||||
Reference in New Issue
Block a user