Skip to content

Conversation

@saundershayes
Copy link

No description provided.

ravinet and others added 30 commits August 24, 2014 00:23
…child process exits, the server can continue (instead of exiting)
…er or not to exit if a specific child process dies
greghill and others added 30 commits January 15, 2016 03:42
better exception

quick rename

old stuff needed for clean merge
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

8 participants