Repair of high pressure hoses