A band played on the indoor stage and the music was cheerful.