Turn mark_server_socket_tainted() into a nop if the server socket is already tainted.