====== Plugin manager Proxy ======

It is possible to use a proxy for the plugin manager http requests. 

====== Proxy parameters ======

The proxy uses the following parameters:
  * User name
  * password
  * Domain
  * Host: either HTTP or HTTPS
  * Port: either HTTP or HTTPS

The proxy test first if the HTTPS host and ports are set. If not it tries the HTTP ones.

The proxy takes the command line arguments as value first. If they are not set, it takes the options. 


====== Command line ======

The proxy can be set up from the command line: ([[:user-guide:command-line-arguments|GroIMP arguments]] in the command line happens AFTER the .jar)
  * ''%%--proxy.user=XX%%''
  * ''%%--proxy.password=XX%%''
  * ''%%--proxy.domain=XX%%''
  * ''%%--http.proxy.host=XX%%''
  * ''%%--http.proxy.port=XX%%''
  * ''%%--https.proxy.host=XX%%''
  * ''%%--https.proxy.port=XX%%''


====== Options ======

{{:additional-functionality:proxy_options.png?400|Unordered List Item}}

The parameters can be set in the options. It makes them persistent between GroIMP executions. **Note that if the plugin manager has already been opened the HTTP connection NEEDS to be refreshed**. 

The http client is automatically refreshed when you restart GroIMP. Or, you can manually refresh it by using the menu command: 

{{:additional-functionality:reloadhttp.png?400|}}