Kill old $Id$ command dating from CVS

[simgrid.git] / include / gras / transport.h

diff --git a/include/gras/transport.h b/include/gras/transport.h
index 6151874..68d9a1f 100644 (file)
--- a/include/gras/transport.h
+++ b/include/gras/transport.h
@@ -1,6 +1,4 @@
 
-/* $Id$ */
-
 /* transport - low level communication (send/receive bunches of bytes)      */
 /* module's public interface exported to end user.                          */
 
@@ -42,6 +40,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,