free(plug->name);
free(plug);
plug=NULL;
- xbt_ex_free(e);
+ xbt_ex_free(&e);
} else {
RETHROW;
}
/**
* @brief Opens a server socket and makes it ready to be listened to.
+ * @param port: port on which you want to listen
* @param buf_size: size of the buffer (in byte) on the socket (for TCP sockets only). If 0, a sain default is used (32k, but may change)
+ * @param measurement: whether this socket is meant to convey measurement (if you don't know, use 0 to exchange regular messages)
*
* In real life, you'll get a TCP socket.
*/
/**
* @brief Opens a client socket to a remote host.
+ * @param host: who you want to connect to
+ * @param port: where you want to connect to on this host
* @param buf_size: size of the buffer (in bytes) on the socket (for TCP sockets only). If 0, a sain default is used (32k, but may change)
+ * @param measurement: whether this socket is meant to convey measurement (if you don't know, use 0 to exchange regular messages)
*
* In real life, you'll get a TCP socket.
*/
find_port(hd,sock->peer_port,&pr);
} CATCH(e) {
if (e.category == mismatch_error) {
- xbt_ex_free(e);
+ xbt_ex_free(&e);
THROW2(mismatch_error,0,
"can't connect to %s:%d, no process listen on this port",
sock->peer_name,sock->peer_port);
found = 1;
} CATCH(e) {
if (e.category == mismatch_error)
- xbt_ex_free(e);
+ xbt_ex_free(&e);
else
RETHROW;
}