HOW TO REPAIR A LEAKING PIPELINE