diff options
| -rw-r--r-- | src/pipe.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/pipe.cpp b/src/pipe.cpp index 51ecedc..77893d2 100644 --- a/src/pipe.cpp +++ b/src/pipe.cpp @@ -191,7 +191,7 @@ void xs::pipe_t::rollback () void xs::pipe_t::flush () { // If terminate() was already called do nothing. - if (state == terminated && state == double_terminated) + if (state == terminated || state == double_terminated) return; // The peer does not exist anymore at this point. |