Detecting or repairing leak