- const char *kind = MSG_task_get_name(grant);
- if(strcmp(kind, "grant") == 0){
- if(strcmp(my_mailbox, "2") == 0){
- q = 1;
- p = 0;
- }
- MSG_task_destroy(grant);
- XBT_INFO("%s got the answer. Sleep a bit and release it", argv[1]);
- MSG_process_sleep(1);
- MSG_task_send(MSG_task_create("release", 0, 1000,NULL ),
- "coordinator");
+
+ if(strcmp(my_mailbox, "2") == 0){
+ q = 1;
+ p = 0;
+ XBT_DEBUG("Propositions changed : p=0, q=1");