Skip to content

Publisher channel#43

Open
Ledest wants to merge 2 commits intojlouis:masterfrom
Ledest:publisher-channel
Open

Publisher channel#43
Ledest wants to merge 2 commits intojlouis:masterfrom
Ledest:publisher-channel

Conversation

@Ledest
Copy link
Copy Markdown

@Ledest Ledest commented Jun 22, 2019

Erroneous turtle:publish/5 leads to channel dying. But user doesn't know about it because this and all next turtle:publish/5 calls return ok - channel isn't t restored (as it happens in the turtle_subscriber module).

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.

1 participant