Re: [SR-Users] How to determine correct port to set in record-route header