Refresh of mpi-finalize

diff --git a/src/preload.c b/src/preload.c
index 026ff1c6f86cb939c0ac2c87add297408e60d8c9..52eaf1a52b31f083e542d1e6b88fd56e313e39f3 100644 (file)
--- a/src/preload.c
+++ b/src/preload.c
@@ -801,7 +801,6 @@ int select(int nfds, fd_set *readfds, fd_set *writefds,
 int shutdown(int socket, int how)
 {
        int fd;
-       fflush(stdout);
        return (fd_get(socket, &fd) == fd_rsocket) ?
                rshutdown(fd, how) : real.shutdown(fd, how);
 }