Interstage Studio J Business Kit User's Guide

2.3.4 Proxy Setting

This section describes how to set an HTTP proxy server to be used by JBK Plugin.

When a local area network (LAN) is built, a firewall may be provided to prevent intrusions from other networks. To download an applet from a Web server outside a LAN, the downloading must be done through an HTTP proxy server. If this operation is needed, set the HTTP proxy server as described below.

In the following cases, the user does not have to make the proxy setting.

• When the same setting as the proxy setting of the browser is used

  By default, JBK Plugin uses the proxy setting of the browser as it is.

• When the user specifies 'hybrid' or 'native' for the downloading method of the applet

  In this case, JBK Plugin uses the proxy setting of the browser instead of the setting in the jbkplugin.properties file described below. See '2.3.6 How JBK Plugin Downloads Class Files' for the detail.

Setting a Proxy Server

To change the default proxy setting, code the following lines in the jbkplugin.properties file:

jbk.plugin.proxy.enable=<HTTP-proxy-server-used-or-not>
jbk.plugin.proxy.http.host=<HTTP-proxy-server-host-name>
jbk.plugin.proxy.http.port=<HTTP-proxy-server-port-number>
jbk.plugin.proxy.override=<HTTP-proxy-override-address-list>

Specify the following information in the properties:

• jbk.plugin.proxy.enable

  This property specifies whether an HTTP proxy server is used. As <HTTP-proxy-server-used-or-not>, code either of the following:

  true

  An HTTP proxy server is used when an applet is downloaded.

  false

  An HTTP proxy server is not used when an applet is downloaded.

  When this property is set to false, the following three property setting are invalid.

• jbk.plugin.proxy.http.host

  This property specifies the host name of an HTTP proxy server. As <HTTP-proxy-server-host-name>, specify the host name or IP address of an HTTP proxy server.

• jbk.plugin.proxy.http.port

  This property specifies the port number of the HTTP proxy server. As <HTTP-proxy-server-port-number>, specify the port number the HTTP proxy server uses.

• jbk.plugin.proxy.override

  This property specifies a list of addresses to be connected without the HTTP proxy server. If this list includes a Web server address, JBK Plugin downloads an applet directly from the Web server, not via the HTTP proxy server. As <HTTP-proxy-override-address-list>, code an address that does not use the HTTP proxy server, as described below:

  • The address coding can be a host name, domain name, or IP address.

  • The coded host name, domain name, or IP address can contain a wild card character (*).

  • When two or more addresses are coded, the addresses should be separated by a vertical line ('|').

Example

Sample proxy setting

jbk.plugin.proxy.enable=true
jbk.plugin.proxy.http.host=proxy.fujitsu.com
jbk.plugin.proxy.http.port=8080
jbk.plugin.proxy.override=*.fujitsu.com|*.foo.co.jp

• By default, the proxy setting line in the jbkplugin.properties file is commented out. When setting a proxy server, eliminate the # at the beginning of the line.

• The contents coded as <HTTP-proxy-server-host-name>, <HTTP-proxy-server-port-number>, and <HTTP-proxy-override-address-list> depend on the LAN environment setting. For details of the proxy setting, consult the network administrator.

Browser Proxy Bypass List

In the Java proxy bypass list, asterisks (".*.*") cannot be recognized as wild cards and need to be connected using a proxy. Under the following circumstances, if the bypass list under the browser's proxy setting is using ".*.*", record it as ".*".

• Use the same setting as the browser's proxy setting.

• In the jbkplugin.properties, specify jbk.plugin.proxy.enable=true and set jbk.plugin.proxy.override.