If the pool water has dropped to the level of wall leakage, then feel free to patch it dry; it’s not required to drain the whole pool