How did you know it was leaking? Did you smell fuel, or did it start running poorly?

Hopefully you got it repaired. Sounds like a fire potential.