sd_event_source_get_time_clock(category12-datenbank-server.html) - phpMan