On the outdoor stage, a band played a cheerful tune.