tree dd1f67bf26000aaa28fd8800c499185b3413af45
parent 345b0c7ad2c3dbbb0ca5137b1d842b3fc2173d50
author Thomas Vachuska <tom@opennetworking.org> 1523912538 -0700
committer Thomas Vachuska <tom@opennetworking.org> 1523917781 +0000

Making REST API port as a command-line option for various admin commands.

Also cleaning up usage for consistency.

Change-Id: I1d8a10c063cab5992033b97d6efa60bba030ed9e