New function: gras_socket_close_voidp() -- just like gras_socket_close() but acceptin...

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@6755 48e7efb5-ca39-0410-a469-dd3cf9ba447f

diff --git a/include/gras/transport.h b/include/gras/transport.h
index 6151874..ae9b126 100644 (file)
--- a/include/gras/transport.h
+++ b/include/gras/transport.h
@@ -42,6 +42,7 @@ XBT_PUBLIC(gras_socket_t) gras_socket_client_from_string(const char *host);
 /** \brief Simply create a server socket (to ear from remote hosts speaking to you) */
 XBT_PUBLIC(gras_socket_t) gras_socket_server(unsigned short port);
 XBT_PUBLIC(void) gras_socket_close(gras_socket_t sd);
+XBT_PUBLIC(void) gras_socket_close_voidp(void *sock);
 
 /** \brief Create a client socket, full interface to all relevant settings */
 XBT_PUBLIC(gras_socket_t) gras_socket_client_ext(const char *host,

diff --git a/src/gras/Transport/transport.c b/src/gras/Transport/transport.c
index 1b758cf..dd976c4 100644 (file)
--- a/src/gras/Transport/transport.c
+++ b/src/gras/Transport/transport.c
@@ -333,6 +333,10 @@ gras_socket_t gras_socket_client_from_string(const char *host)
   return res;
 }
 
+void gras_socket_close_voidp(void *sock) {
+  gras_socket_close((gras_socket_t)sock);
+}
+
 /** \brief Close socket */
 void gras_socket_close(gras_socket_t sock)
 {