-
- for (port=3000, found=0; port<3010 && !found; port++) {
- TRY {
- toserver = gras_socket_client(argv[1], port);
- gras_msg_send(toserver,"kill", NULL);
- gras_socket_close(toserver);
- found = 1;
- INFO1("Yeah! I found the server on %d! It's eradicated by now.",port);
- } CATCH(e) {
- xbt_ex_free(e);
- }
- if (!found)
- INFO1("Damn, the server is not on %d",port);
- } /* end_of_loop */
-
- if(!found)
- THROW0(not_found_error, 0, "Damn, I failed to find the server! I cannot survive this humilliation.");
-
-
+
+ for (port = 3000, found = 0; port < 3010 && !found; port++) {
+ TRY {
+ toserver = gras_socket_client(argv[1], port);
+ gras_msg_send(toserver, "kill", NULL);
+ gras_socket_close(toserver);
+ found = 1;
+ XBT_INFO("Yeah! I found the server on %d! It's eradicated by now.",
+ port);
+ }
+ CATCH(e) {
+ xbt_ex_free(e);
+ }
+ if (!found)
+ XBT_INFO("Damn, the server is not on %d", port);
+ } /* end_of_loop */
+
+ if (!found)
+ THROWF(not_found_error, 0,
+ "Damn, I failed to find the server! I cannot survive this humilliation.");
+
+