+
+ 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");
+
+ MSG_process_sleep(my_pid);
+
+ if(strcmp(my_mailbox, "2") == 0){
+ q=0;
+ p=0;
+ XBT_DEBUG("Propositions changed : p=0, q=0");
+ }
+