An overflow pipe dripping outside is an overflow doing its job When I was a young plumber (some time ago now!) they were also known as ‘Warning Pipes’ as they are there to warn you