update amdin to take into account proxy_port option to hub (and remove tcp_port option, since I didn't end up needing that).
update amdin to take into account proxy_port option to hub (and remove tcp_port option, since I didn't end up needing that).

sagemathinc/smc,sagemathinc/smc,tscholl2/smc,tscholl2/smc,DrXyzzy/smc,tscholl2/smc,DrXyzzy/smc,DrXyzzy/smc,DrXyzzy/smc,tscholl2/smc,sagemathinc/smc,sagemathinc/smc,tscholl2/smc