int server(int argc, char *argv[])
{
- volatile gras_socket_t me = NULL, pal = NULL;
+ volatile xbt_socket_t me = NULL, pal = NULL;
int myport;
char *palstr;
int client(int argc, char *argv[])
{
- volatile gras_socket_t me = NULL, pal = NULL;
+ volatile xbt_socket_t me = NULL, pal = NULL;
int myport;
char *palstr;