Skip to content
This repository was archived by the owner on Jul 12, 2023. It is now read-only.

Discard pod changes with exec id mismatch #14

Merged
merged 2 commits into from
Dec 4, 2016
Merged

Conversation

rouzwawi
Copy link
Member

@rouzwawi rouzwawi commented Dec 2, 2016

fixes #11

@rouzwawi rouzwawi force-pushed the discard-exec-mismatch branch 2 times, most recently from d1a38a0 to 92dd485 Compare December 2, 2016 15:19
@rouzwawi rouzwawi changed the title Discard exec mismatch Discard pod changes with exec id mismatch Dec 2, 2016
@rouzwawi rouzwawi force-pushed the discard-exec-mismatch branch 4 times, most recently from 103a89e to 588d5f0 Compare December 3, 2016 14:56
@rouzwawi rouzwawi force-pushed the discard-exec-mismatch branch from f2334f8 to 8ebf7eb Compare December 4, 2016 15:22
@rouzwawi rouzwawi merged commit e36ec7e into master Dec 4, 2016
@rouzwawi rouzwawi deleted the discard-exec-mismatch branch December 4, 2016 16:42
@bergman
Copy link
Contributor

bergman commented Dec 6, 2016

👍

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.

Halting and re-triggering in short succession causes premature state termination
2 participants