A band was performing in earnest on the indoor stage, making a cheerful musical sound.