sd_is_socket(category37-sonstige.html) - phpMan