Skip to content

Flush local history before shutdown when connected to a remote #146554

@bpasero

Description

@bpasero

Because the remote connection can drop at any time, it is somewhat dangerous to flush local history only on shutdown.

Refs: https://github.com/github/codespaces/issues/7228

Metadata

Metadata

Assignees

Labels

Type

No type

Projects

No projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions