ManualPTHREAD_RWLOCK_DESTROY(poll.html) - phpMan