bugfix

MPSoC/src/request_manager.c

@@ -335,14 +335,17 @@ int executable(setOfRequests *list, int nb) {
 
 	//if ((req->syncChannel->inWaitQueue != NULL)&&(req->syncChannel->ok==1)) {// DG 8.2. non c'est correct: il faut un rendez-vous synchrone entre inqueue et outqueue
         //if (req->syncChannel->outWaitQueue != NULL) {//DG 8.2.??
-	if ((req->syncChannel->inWaitQueue != NULL)){
+	if ((req->syncChannel->inWaitQueue != NULL)||req->syncChannel->ok){
 	  debugMsg("Send sync executable");
+	  debugInt("ok=",req->syncChannel->ok);
 	  //req->syncChannel->ok==0;
 	  req->syncChannel->ok2==0;
 	  req->executable = 1;
 	  cpt ++;
 	  }  else {
-	  debugMsg("Send sync not executable");
+
+	  debugMsg("Send sync not executable"); 
+	  debugInt("not exe ok=",req->syncChannel->ok);
 	  }
 	  ////index ++;
       }
@@ -360,7 +363,7 @@ int executable(setOfRequests *list, int nb) {
 	  req->executable = 1;
 	  debugMsg("Receive sync executable");
 	  //req->syncChannel->ok2==0;
-	  req->syncChannel->ok==0;
+	  req->syncChannel->ok=0;
 	  cpt ++;
 	}
  else {