Skip to content
This repository was archived by the owner on May 17, 2024. It is now read-only.

Assuming the pub/sub happens at the same server makes managing process lifetime easier #2

Merged
merged 3 commits into from
Jun 1, 2016
Merged

Assuming the pub/sub happens at the same server makes managing process lifetime easier #2

merged 3 commits into from
Jun 1, 2016

Conversation

@kavehmz
Copy link
Contributor

@kavehmz kavehmz commented May 31, 2016

No description provided.

@coveralls
Copy link

coveralls commented May 31, 2016

Coverage Status

Coverage decreased (-1.7%) to 73.333% when pulling 9786359 on pubsub_count into 0eb0004 on master.

@coveralls
Copy link

coveralls commented Jun 1, 2016

Coverage Status

Coverage decreased (-1.7%) to 73.333% when pulling 6e2c09d on pubsub_count into 0eb0004 on master.

@coveralls
Copy link

coveralls commented Jun 1, 2016

Coverage Status

Coverage decreased (-1.7%) to 73.333% when pulling 6e2c09d on pubsub_count into 0eb0004 on master.

@kavehmz kavehmz merged commit 9417898 into master Jun 1, 2016
@kavehmz kavehmz deleted the pubsub_count branch June 1, 2016 04:51
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@kavehmz @coveralls