Let mark_server_socket_tainted() always mark the server socket tainted, just don...