[server][testEventSemaphore] Use a normal notation.