odp-util: Use proper formatting for ODP port number.
authorJarno Rajahalme <jarno.rajahalme@nsn.com>
Fri, 14 Jun 2013 14:09:34 +0000 (17:09 +0300)
committerBen Pfaff <blp@nicira.com>
Fri, 14 Jun 2013 17:13:28 +0000 (10:13 -0700)
Signed-off-by: Jarno Rajahalme <jarno.rajahalme@nsn.com>
Signed-off-by: Ben Pfaff <blp@nicira.com>

No differences found