tree 387b9a19e673c805dd7a74be94680c993c89ceb8
parent b65c2be5f174468a178b6d9456b20ca969d4a3d6
author Gilles Peskine <Gilles.Peskine@arm.com> 1492185328 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1493217715 +0200

Support setting the ports on the command line

Added command line arguments --port and --proxy-port to choose the
ports explicitly instead of deriving them from the PID. This
facilitates debugging e.g. with Wireshark.