From d155a24856d9636893ffc0bdd81a7d1e9fb094f7 Mon Sep 17 00:00:00 2001 From: Sean Hefty Date: Thu, 26 Jul 2012 15:37:14 -0700 Subject: [PATCH] Refresh of mpi-finalize --- src/preload.c | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/preload.c b/src/preload.c index 52eaf1a5..996d8e01 100644 --- a/src/preload.c +++ b/src/preload.c @@ -798,9 +798,12 @@ int select(int nfds, fd_set *readfds, fd_set *writefds, return ret; } +#include + int shutdown(int socket, int how) { int fd; + printf("shutdown how %s\n", how == SHUT_RDWR ? "RDWR" : how == SHUT_RD ? "RD" : "WR"); return (fd_get(socket, &fd) == fd_rsocket) ? rshutdown(fd, how) : real.shutdown(fd, how); } -- 2.45.2