Skip to content

Conversation

@weisslj
Copy link
Contributor

@weisslj weisslj commented Jan 21, 2017

Jump out of receive in loops after 5s to enable live code upgrades.

@dizzyd
Copy link
Owner

dizzyd commented Jan 24, 2017

This looks reasonable, but could you please correct the formatting so indentation is the same as the original file?

Jump out of receive in loops after 5s to enable live code upgrades.
@weisslj
Copy link
Contributor Author

weisslj commented Jan 24, 2017

Oh, I accidentally pushed commit 6456495 of pull request #19 additionally to commit 0c8e5ff (which had correct indentation I think) here.

New single commit in be96180.

@dizzyd dizzyd merged commit 9c24067 into dizzyd:master Jan 25, 2017
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.

2 participants