- TRY {
- toserver=gras_socket_client(host,port);
- connected = 1;
- } CATCH(e) {
- if (e.category != system_error)
- /* dunno what happened, let the exception go through */
- RETHROW0("Unable to connect to the server: %s");
- xbt_ex_free(e);
- gras_os_sleep(0.05);
- }
+ TRY {
+ toserver = gras_socket_client(host, port);
+ connected = 1;
+ }
+ CATCH(e) {
+ if (e.category != system_error)
+ /* dunno what happened, let the exception go through */
+ RETHROWF("Unable to connect to the server: %s");
+ xbt_ex_free(e);
+ gras_os_sleep(0.05);
+ }