sd_event_source_get_event(category24-kurz-tips.html) - phpMan