gras_msg_recv(msg.expe, &msg);
} CATCH(e) {
if (e.category == system_error &&
- strncmp("Socket closed by remote side",e.msg,
+ !strncmp("Socket closed by remote side",e.msg,
strlen("Socket closed by remote side"))) {
xbt_ex_free(e);
need_restart=1;
double untiltimer;
- int cpt, ran_ok;
+ int cpt;
+ int volatile ran_ok;
s_gras_msg_t msg;