tree bd3c61a8ff244a540168f378d8bd026e1da7f0a4
parent 8ac8754b881767acaa30e9baffa404d1b9ded238
author Davide Pesavento <davide.pesavento@lip6.fr> 1481485360 -0500
committer Davide Pesavento <davide.pesavento@lip6.fr> 1481764865 -0500

util: FaceUri: port numbers are 16 bits wide

Change-Id: I9568df121bac150bc98071820a5cd212fb22a458