Let server_set_cookie() stay silent when the cookie isn't modified