- xbt_dynar_push(globals->waiting_queue, &s);
- INFO2("put %s:%d in waiting queue",gras_socket_peer_name(s),gras_socket_peer_port(s));
- } else {
- globals->process_in_CS = 1;
- INFO2("grant %s:%d since nobody wanted it",gras_socket_peer_name(s),gras_socket_peer_port(s));
- gras_msg_send(s, "grant", NULL);
+ xbt_dynar_push(globals->waiting_queue, &s);
+ XBT_INFO("put %s:%d in waiting queue", gras_socket_peer_name(s),
+ gras_socket_peer_port(s));
+ } else {
+ globals->process_in_CS = 1;
+ XBT_INFO("grant %s:%d since nobody wanted it", gras_socket_peer_name(s),
+ gras_socket_peer_port(s));
+ gras_msg_send(s, "grant", NULL);