diff --git a/src/dist.cpp b/src/dist.cpp old mode 100644 new mode 100755 index d4c47a72..5b195653 --- a/src/dist.cpp +++ b/src/dist.cpp @@ -78,12 +78,19 @@ void zmq::dist_t::pipe_terminated (pipe_t *pipe_) { // Remove the pipe from the list; adjust number of matching, active and/or // eligible pipes accordingly. - if (pipes.index (pipe_) < matching) + if (pipes.index (pipe_) < matching) { + pipes.swap (pipes.index (pipe_), matching - 1); matching--; - if (pipes.index (pipe_) < active) + } + if (pipes.index (pipe_) < active) { + pipes.swap (pipes.index (pipe_), active - 1); active--; - if (pipes.index (pipe_) < eligible) + } + if (pipes.index (pipe_) < eligible) { + pipes.swap (pipes.index (pipe_), eligible - 1); eligible--; + } + pipes.erase (pipe_); }