Hi, The tab is for setting the proxy server if connections into the outer world much pass through such.
Server: Address of the proxy server Port: Port of the proxy server User: Username if proxy server requires authentication. Leave empty if not needed. Password: Password if proxy server requires authentication. Leave empty if not needed. Direct connection: Addresses which must be connected directly and not through the proxy. Servers inside the local network may be such. I suppose that Ede made the configuration to set the same proxy automatically for both http and https connections even they can be set separately for java. It also looks like "localhost" is set automatically to use the direct connection to that does not need to be configured. A document about what happens under the hood: http://www.rgagnon.com/javadetails/java-0085.html -Jukka Rahkonen- -----Alkuperäinen viesti----- Lähettäjä: Uwe Dalluege [mailto:uwe.dallu...@hcu-hamburg.de] Lähetetty: 31. maaliskuuta 2015 9:47 Vastaanottaja: Devel Jump Aihe: [JPP-Devel] Network properties Hi, I like to describe in my OJ tutorial the "Network properties" (Customize>Options>Network properties). Please tell me what can I do with this? What are they good for? Regards Uwe ------------------------------------------------------------------------------ Dive into the World of Parallel Programming The Go Parallel Website, sponsored by Intel and developed in partnership with Slashdot Media, is your hub for all things parallel software development, from weekly thought leadership blogs to news, videos, case studies, tutorials and more. Take a look and join the conversation now. http://goparallel.sourceforge.net/ _______________________________________________ Jump-pilot-devel mailing list Jump-pilot-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel ------------------------------------------------------------------------------ Dive into the World of Parallel Programming The Go Parallel Website, sponsored by Intel and developed in partnership with Slashdot Media, is your hub for all things parallel software development, from weekly thought leadership blogs to news, videos, case studies, tutorials and more. Take a look and join the conversation now. http://goparallel.sourceforge.net/ _______________________________________________ Jump-pilot-devel mailing list Jump-pilot-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel
