On the indoor stage, a band was playing a cheerful tune and a man was singing.