Refresh of mpi-finalize

diff --git a/src/rsocket.c b/src/rsocket.c
index 3ba0a7414aa0374b7f89817e6cb1a8bb298eee96..1e391b30aad1255e659e6b7f4a0e0b250b412f81 100644 (file)
--- a/src/rsocket.c
+++ b/src/rsocket.c
@@ -1741,9 +1741,7 @@ int rshutdown(int socket, int how)
                                RS_CTRL_SHUTDOWN : RS_CTRL_DISCONNECT;
                }
                if (!rs_can_send_ctrl(rs)) {
-                       printf("  rshutdown - need ctrl msg %d - %p\n", socket, rs);
                        ret = rs_process_cq(rs, 0, rs_can_send_ctrl);
-                       printf("  rshutdown - have ctrl msg %d - %p\n", socket, rs);
                        if (ret)
                                return ret;
                }