gras_socket_peer_name(toserver),gras_socket_peer_port(toserver));
/* 7. Prepare and send the ping message to the server */
ping = 1234;
errcode = gras_msg_send(toserver, gras_msgtype_by_name("ping"), &ping);
if (errcode != no_error) {
gras_socket_peer_name(toserver),gras_socket_peer_port(toserver));
/* 7. Prepare and send the ping message to the server */
ping = 1234;
errcode = gras_msg_send(toserver, gras_msgtype_by_name("ping"), &ping);
if (errcode != no_error) {