I think the best way would be for it to cut the power to the pump if possible Bob. Its filling the container rather quickly, I really should have noticed it before. The tank would survive being turned off for 10 hours and would save 200 litres being emptied onto the floor in a worse case...