int server(int argc, char *argv[])
{
- gras_socket_t me = NULL, pal = NULL;
+ volatile gras_socket_t me = NULL, pal = NULL;
int myport;
char *palstr;
xbt_ex_t e;
- int got_expected;
- double now;
+ _XBT_GNUC_UNUSED int got_expected;
+ _XBT_GNUC_UNUSED double now;
gras_init(&argc, argv);
got_expected = 0;
TRY {
gras_msg_handle(0);
- } CATCH(e) {
+ }
+ CATCH(e) {
if (e.category == timeout_error) {
got_expected = 1;
xbt_ex_free(e);
int client(int argc, char *argv[])
{
- gras_socket_t me = NULL, pal = NULL;
+ volatile gras_socket_t me = NULL, pal = NULL;
int myport;
char *palstr;