Barton Springs Pool to close until spring for repairs