When a pipe has a pinhole leak and needs a quick patch without shutting off the main water line, what specific type of hardware is often used?