Electronic leak detector