mirror of
https://gitee.com/mirrors_PX4/PX4-Autopilot.git
synced 2026-10-04 16:58:53 +08:00
The check is unnecessary. In the worst case the semaphore gets unlocked twice, but it's not an issue because the waiter is only interested in the first sem_post(), and the semaphore is then not used anymore.