ManualPTHREAD_COND_TIMEDWAIT(phpman.html) - phpMan