Redo clean shutdown #3

Merged
merged 3 commits into from May 2, 2012

Conversation

Projects
None yet
2 participants
@archaelus
Contributor

archaelus commented May 2, 2012

Implements clean(ish) shutdown for redo processes.

jkvor added a commit that referenced this pull request May 2, 2012

@jkvor jkvor merged commit a295696 into master May 2, 2012

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment