htttp_proxy.c: when we extract the port number, ignore any                 non-digit trailing string
htttp_proxy.c: when we extract the port number, ignore any 
               non-digit trailing string

bk: 3c7425b4rdSYkhDLmanB7c8CUKxtIA
bitkeeper-scm/bitkeeper,bitkeeper-scm/bitkeeper,bitkeeper-scm/bitkeeper,bitkeeper-scm/bitkeeper,bitkeeper-scm/bitkeeper,bitkeeper-scm/bitkeeper,bitkeeper-scm/bitkeeper,bitkeeper-scm/bitkeeper,bitkeeper-scm/bitkeeper,bitkeeper-scm/bitkeeper,bitkeeper-scm/bitkeeper,bitkeeper-scm/bitkeeper