Mark,
I feel your pain. We had 24"+ of rain last October in the storm of a 1000 years. I proactively pumped water out of my pool and then pumped out four more times. This is one of those, "It depends" on your situation issues. I don't want the pool overflowing because of what's around my pool and find it much better to drain to the street storm sewers. I don't know if you have that luxury or not. In the end, all will be well...