diff options
Diffstat (limited to 'otherlibs/unix/shutdown.c')
-rw-r--r-- | otherlibs/unix/shutdown.c | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/otherlibs/unix/shutdown.c b/otherlibs/unix/shutdown.c new file mode 100644 index 000000000..79326494e --- /dev/null +++ b/otherlibs/unix/shutdown.c @@ -0,0 +1,22 @@ +#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 |