+static void client_create_sockets(xbt_socket_t *toserver,
+ xbt_socket_t *toforwarder,
+ const char *srv_host, int srv_port,
+ const char *fwd_host, int fwd_port)
+{
+ TRY {
+ exception_catching();
+ *toserver = gras_socket_client(srv_host, srv_port);
+ *toforwarder = gras_socket_client(fwd_host, fwd_port);
+ }
+ CATCH_ANONYMOUS {
+ RETHROWF("Unable to connect to the server: %s");
+ }
+}