int server(int argc, char *argv[])
{
- xbt_ex_t e;
gras_socket_t sock = NULL;
int port = 4002;
TRY {
sock = gras_socket_server(port);
}
- CATCH(e) {
- RETHROW0("Unable to establish a server socket: %s");
+ CATCH_ANONYMOUS {
+ RETHROWF("Unable to establish a server socket: %s");
}
/* 4. Register the known messages and payloads. */