Differences

This shows you the differences between two versions of the page.

--- additional-functionality:proxy [2025/02/17 17:34] – created gaetan
+++ additional-functionality:proxy [2025/02/17 17:44] (current) – [Options] gaetan
@@ Line 20: / Line 20: @@
 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.user=XX%%''
-  * '--proxy.password=XX'
+  * ''%%--proxy.password=XX%%''
-  * '--proxy.domain=XX'
+  * ''%%--proxy.domain=XX%%''
-  * '--http.proxy.host=XX'
+  * ''%%--http.proxy.host=XX%%''
-  * '--http.proxy.port=XX'
+  * ''%%--http.proxy.port=XX%%''
-  * '--https.proxy.host=XX'
+  * ''%%--https.proxy.host=XX%%''
-  * '--https.proxy.port=XX'
+  * ''%%--https.proxy.port=XX%%''
@@ Line 32: / Line 32: @@
 {{: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|}}