From 9ed371c9f708611288d861eccf4b896f3b3d80a7 Mon Sep 17 00:00:00 2001
From: mquinson <mquinson@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Date: Tue, 13 Oct 2009 13:52:50 +0000
Subject: [PATCH] New function: gras_socket_close_voidp() -- just like
 gras_socket_close() but accepting void* parameters (useful for dynars and
 dicts of sockets)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@6755 48e7efb5-ca39-0410-a469-dd3cf9ba447f
---
 include/gras/transport.h       | 1 +
 src/gras/Transport/transport.c | 4 ++++
 2 files changed, 5 insertions(+)

diff --git a/include/gras/transport.h b/include/gras/transport.h
index 61518741e4..ae9b126792 100644
--- 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 1b758cf526..dd976c4f99 100644
--- 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)
 {
-- 
2.20.1