Skip to content

state - periodically save state to prevent loss on crash or shutdown#87158

Merged
bpasero merged 1 commit intomasterfrom
ben/state-flush
Dec 17, 2019
Merged

state - periodically save state to prevent loss on crash or shutdown#87158
bpasero merged 1 commit intomasterfrom
ben/state-flush

Conversation

@bpasero
Copy link
Member

@bpasero bpasero commented Dec 17, 2019

This PR fixes #12058

@bpasero bpasero self-assigned this Dec 17, 2019
@bpasero bpasero added this to the December/January 2020 milestone Dec 17, 2019
@bpasero bpasero merged commit 54ab792 into master Dec 17, 2019
@bpasero bpasero deleted the ben/state-flush branch December 17, 2019 09:25
@gardwired
Copy link

@bpasero just an extension of this would be to add a "save workspace" command. i have read that this isn't desirable in these tickets for whatever reason, but, given the difficulties in efficiently capturing the state periodically, it might be a reasonable means to allow someone to save the state when they know that they really need it captured. without this the only means we have of ensuring the state is saved is to basically create a new workspace. it's about giving control to users to make the editor do something that is probably already being done. i like automation, but i don't think it should prevent a user from asserting control.

@github-actions github-actions bot locked and limited conversation to collaborators Mar 27, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Save UI state periodically to prevent loss on shutdown

2 participants