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