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