XBT_WARN("Woops, this did not timeout as expected... Please report that bug.");
} catch (xbt_ex& e) {
/* Do nothing this exception on timeout was expected */
XBT_WARN("Woops, this did not timeout as expected... Please report that bug.");
} catch (xbt_ex& e) {
/* Do nothing this exception on timeout was expected */