-
-
-void client_do_hello(void) {
- client_data_t *globals=(client_data_t*)gras_userdata_get();
-
- gras_msg_send(globals->toserver,"hello", NULL);
- INFO0("Hello sent to server");
-} /* end_of_client_do_hello */
-
-void client_do_stop(void) {
- client_data_t *globals=(client_data_t*)gras_userdata_get();
-
- gras_msg_send(globals->toserver,"kill", NULL);
- INFO0("Kill sent to server");
-
- gras_timer_cancel_repeat(0.5,client_do_hello);
-
+
+
+void client_do_hello(void)
+{
+ client_data_t *globals = (client_data_t *) gras_userdata_get();
+
+ gras_msg_send(globals->toserver, "hello", NULL);
+ XBT_INFO("Hello sent to server");
+} /* end_of_client_do_hello */
+
+void client_do_stop(void)
+{
+ client_data_t *globals = (client_data_t *) gras_userdata_get();
+
+ gras_msg_send(globals->toserver, "kill", NULL);
+ XBT_INFO("Kill sent to server");
+
+ gras_timer_cancel_repeat(0.5, client_do_hello);
+