Github user pmouawad commented on the issue:
https://github.com/apache/jmeter/pull/413
Thanks for patch update.
Thinking more about it **and to be coherent** we should also add this as a
command line option as per:
- http://jmeter.apache.org/usermanual/get-started.html#proxy_server
Do you think you can update your PR ?
Thanks---
