Merge remote-tracking branch 'origin/master'

[simgrid.git] / src / gras / Transport / transport.c

diff --git a/src/gras/Transport/transport.c b/src/gras/Transport/transport.c
index e304553..1c86966 100644 (file)
--- a/src/gras/Transport/transport.c
+++ b/src/gras/Transport/transport.c
@@ -85,8 +85,7 @@ xbt_socket_t
 gras_socket_server_range(unsigned short minport, unsigned short maxport,
                          unsigned long int buf_size, int measurement)
 {
-
-  int port;
+  volatile int port;
   xbt_socket_t res = NULL;
   xbt_ex_t e;
 
@@ -190,7 +189,7 @@ void gras_socket_close(xbt_socket_t sock)
   xbt_socket_t sock_iter = NULL;
   unsigned int cursor;
 
-  XBT_IN("");
+  XBT_IN();
   XBT_VERB("Close %p", sock);
   if (sock == _gras_lastly_selected_socket) {
     xbt_assert(!gras_opt_trp_nomoredata_on_close || !sock->moredata,