if (errcode != no_error) {
CRITICAL4("Error '%s' while reporting error '%s' to %s:%d",
xbt_error_name(errcode),error->msg,
gras_socket_peer_name(sock),gras_socket_peer_port(sock) );
}
if (errcode != no_error) {
CRITICAL4("Error '%s' while reporting error '%s' to %s:%d",
xbt_error_name(errcode),error->msg,
gras_socket_peer_name(sock),gras_socket_peer_port(sock) );
}