minor update regarding misusage of --proxy and --ignore-proxy switches
minor update regarding misusage of --proxy and --ignore-proxy switches


dtrip/.ubuntu,dtrip/.ubuntu,RexGene/monsu-server,RexGene/monsu-server