The pool suffered serious damage during a storm in January, and city staff warned in April that it might not reopen this summer.