102103104105106107108109110111112
/* * adapter en fonction du verrouillage... */ if (dejaLock) { // sema de doit pas encore être déverrouillé... myself.actor_UNLOCKMUTEX(); } else { sema.unlockMutex(); // inclu actor_UNLOCK(); }