A band played cheerful music on the indoor stage.