-} /* end_of_server */
-
-void lock(gras_socket_t toserver) {
- gras_msg_send(toserver,"request",NULL);
- gras_msg_wait(-1, "grant",NULL,NULL);
- INFO0("Granted by server");
-} /* end_of_lock */
-
-void unlock(gras_socket_t toserver) {
- INFO0("Release the token");
- gras_msg_send(toserver,"release",NULL);
-} /* end_of_unlock */
-
-int client(int argc, char *argv[]) {
+} /* end_of_server */
+
+void lock(gras_socket_t toserver)
+{
+ gras_msg_send(toserver, "request", NULL);
+ gras_msg_wait(-1, "grant", NULL, NULL);
+ XBT_INFO("Granted by server");
+} /* end_of_lock */
+
+void unlock(gras_socket_t toserver)
+{
+ XBT_INFO("Release the token");
+ gras_msg_send(toserver, "release", NULL);
+} /* end_of_unlock */
+
+int client(int argc, char *argv[])
+{