sd_event_source_get_priority(category30-tips-tricks-fragen.html) - phpMan