My family has been replacing their pool liner over the past week or so and discovered a spring/leak in the deep end of the pool that will not stop producing water. We had the liner completely set in place as it was raining during said week, the liner probably accumulated 8-10 inches of water and everything seemed fine but my father was pretty dead set on draining the water from under the liner. The liner is currently moved back and we are in the process of draining but it doesn't seem to get us anywhere.
My actual questions
Is it necessary to stop the spring? Personally I thought that when there was enough water in the deep-end (while the liner was properly set in place) it would just hold the liner down and maybe plug the spring if the liner was PERFECTLY in place.
------If we do need to stop the leak- what steps can we take to do it properly? It seems to me that the leak is too big to stop with a little quick-crete or something of that nature, just looking for suggestions.
If providing some context with pictures will help find a solution I would be glad to go out and take some. Thanks for your help in advance!!