From 16b355b54e4835a696afb1609159de9108714536 Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Mon, 25 Jun 2012 07:57:20 +0200 Subject: [PATCH] model-checker : cosmetics reindent --- examples/msg/mc/centralized_liveness.c | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/examples/msg/mc/centralized_liveness.c b/examples/msg/mc/centralized_liveness.c index 238dd45665..3bf3138fac 100644 --- a/examples/msg/mc/centralized_liveness.c +++ b/examples/msg/mc/centralized_liveness.c @@ -32,7 +32,7 @@ int coordinator(int argc, char *argv[]) char *req = MSG_task_get_data(task); if (CS_used) { XBT_INFO("CS already used."); - m_task_t answer = MSG_task_create("not grant", 0, 1000, NULL); + m_task_t answer = MSG_task_create("not grant", 0, 1000, NULL); MSG_task_send(answer, req); } else { // can serve it immediatly XBT_INFO("CS idle. Grant immediatly"); @@ -72,15 +72,15 @@ int client(int argc, char *argv[]) XBT_INFO("Client (%s) got the answer (grant). Sleep a bit and release it", my_mailbox); if(!strcmp(my_mailbox, "1")) - cs = 1; + cs = 1; /*MSG_process_sleep(my_pid); - MSG_task_send(MSG_task_create("release", 0, 1000, NULL), + MSG_task_send(MSG_task_create("release", 0, 1000, NULL), "coordinator"); XBT_INFO("Client (%s) releases the CS", my_mailbox); - if(!strcmp(my_mailbox, "1")) - cs = 0;*/ + if(!strcmp(my_mailbox, "1")) + cs = 0;*/ }else{ -- 2.20.1