ManualPTHREAD_COND_TIMEDWAIT(category37-sonstige.html) - phpMan