diff options
Diffstat (limited to 'otherlibs/unix/shutdown.c')
-rw-r--r-- | otherlibs/unix/shutdown.c | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/otherlibs/unix/shutdown.c b/otherlibs/unix/shutdown.c deleted file mode 100644 index 79326494e5..0000000000 --- a/otherlibs/unix/shutdown.c +++ /dev/null @@ -1,22 +0,0 @@ -#include <mlvalues.h> -#include "unix.h" - -#ifdef HAS_SOCKETS - -static int shutdown_command_table[] = { - 0, 1, 2 -}; - -value unix_shutdown(sock, cmd) /* ML */ - value sock, cmd; -{ - if (shutdown(Int_val(sock), shutdown_command_table[Tag_val(cmd)]) == -1) - uerror("shutdown", Nothing); - return Val_unit; -} - -#else - -value unix_shutdown() { invalid_argument("shutdown not implemented"); } - -#endif |