Refresh of mpi-finalize

diff --git a/src/preload.c b/src/preload.c
index 996d8e019a6a7aadd374799da28499f97dcb1ce4..515cc1053aa334b54e2dd9c16ffc10b8def24d85 100644 (file)
--- a/src/preload.c
+++ b/src/preload.c
@@ -804,6 +804,7 @@ int shutdown(int socket, int how)
 {
        int fd;
        printf("shutdown how %s\n", how == SHUT_RDWR ? "RDWR" : how == SHUT_RD ? "RD" : "WR");
+       fflush(stdout);
        return (fd_get(socket, &fd) == fd_rsocket) ?
                rshutdown(fd, how) : real.shutdown(fd, how);
 }