Netscape Proxy autoconfig

NetscapeのProxy autoconfigの記述方法

Netscape ブラウザは、Proxy サーバの選択を柔軟に行うために、JavaScript を使って Proxy サーバの選択ルールを記述することができます。

`FindProxyForURL(url, host)`

このルールは設定ファイルの形でサーバもしくは、ローカルに置く必要があります。この設定ファイルは、次の関数を定義することによって、サーバのアクセス方法を制御します。

FindProxyForURL(url, host);

`url`	アクセスするサーバのフルURL (`protocol://hostname:port/patdname?search`)
`host`	URLから得られるホスト名 (`hostname` のみ)

FindProxyForURL()関数は、ルールの評価結果を次の文字列で返すことになります。

`DIRECT`	Proxy サーバを使用せず、直接接続する
`PROXY host:port`	指定された Proxy サーバが使用する
`SOCKS host:port`	指定されたSOCKSサーバが使用する

なお、上記結果は下記のように ";" で結果を続ける事ができます。もし、複数設定されていれば、ナビゲータは Proxy 接続が確立するまで、左の設定順で接続が試みられます。

接続が試みられる順番 →
PROXY proxy1.foo.co.jp; PROXY proxy2.foo.co.jp

ナビゲータは自動的に30分後、前回応答がなかったProxyサーバに再接続を行い、更にまた、1時間後に再接続します (30分毎に再接続が続けられます)。

全ての Proxyサーバがダウンしていて、DIRECTが指定されていない場合、ナビゲータは Proxy を一時的に無視にして、直接接続を試みるかをユーザに尋ねます。ナビゲータは、20分経過した後に Proxy が再接続するかどうかをユーザに尋ね、接続できなければ、更にまた40分後に尋ねます (20分毎に尋ねます)。

例：

PROXY proxy1.foo.co.jp:8080; PROXY proxy2.foo.co.jp:8000: proxy1:8080 が主サーバで、ダウンもしくは接続できない場合、主サーバが再接続できるまで proxy2:8000が使用されます。
PROXY proxy1.foo.co.jp:8080; PROXY proxy2.foo.co.jp:8000; DIRECT: 上記と同じで、両方のサーバがダウンしていた場合、直接接続を試みます。
(最初の例では、両方のサーバがダウンしていた場合、直接接続するかを尋ねられます。)
PROXY proxy1.foo.co.jp; SOCKS socks.foo.co.jp:1080: 主PROXYサーバがダウンしていた場合、SOCKSサーバを使用します。

設定ファイルの置き方

まず、サーバ側で後で説明する JavaScript 関数を使って、 "なんとか.pac" というファイル名で設定ファイルを作成します。この設定ファイルは MIME タイプ "application/x-ns-proxy-autoconfig" を使って送り込みます。 NCSA httpd サーバの場合、 mime.type に以下の行を書き込みます。

application/x-ns-proxy-autoconfig        pac

ナビゲータ側では、"Network Preferences" の "Proxy"ウィンドウの"Automatic Proxy Configuraion"を選択します。 Location(URL) には、先程の Proxy 設定ファイルのURLを書き込み、 Reloadボタンを押して、設定をロードします。これで完了です。

クラアイント側に置く場合、"Automatic Proxy Configuraion"の Location(URL) に、Proxy設定ファイルのURL ("file:/pathname/proxy.pac") を書き込み、Reloadボタンを押して、設定をロードします。これで完了です。

設定ファイルの記述方法

設定ファイルは、ある条件の時にクライアントは、直接接続を行うか、どの Proxyサーバ、Socksサーバを選択するかを記述していきます。従って、ファイルの基本骨格は次のようになります。

function FindProxyForURL(url, host)
{
          if 条件
                    return DIRECT または PROXY または SOCKS
          else if 条件
                    return DIRECT または PROXY または SOCKS
          :
          :
          else
                    return DIRECT または PROXY または SOCKS
}

JavaScript関数

ホスト名関連関数
ユーティリティ関数
URL/ホスト名関連関数
- shExpMatch()
時刻関連関数
- ProxyConfig.bindings

`isPlainHostName(host)`

host: URL から得られるホスト名です(ポート番号は除く)。

ホスト名にはドメイン名がない場合、真を返します。

例：

isPlainHostName(host)とした時、URLから得られるホスト名に対して、

host が "www" なら真
host が "www.foo.co.jp" なら偽

となります。

`dnsDomainIs(host, domain)`

host: URLから得られるホスト名です。
domain: 評価するドメイン名

ホストのドメイン名が一致している場合、真を返します。

例：

dnsDomainIs(host, ".foo.co.jp")とした時、URLから得られるホスト名に対して、

host が "www.foo.co.jp" なら真
host が "www" なら偽
host が "www.fee.co.jp" なら偽

`localHostOrDomainIs(host, hostdom)`

host: URLから得られるホスト名です。
hostdom: 評価する Fully Qualified ホスト名

ホスト名が確実に指定されたホスト名に一致している場合、または、ホスト名にドメイン名部がない場合、真を返します。

例：

localHostOrDomainIs(host, "www.foo.co.jp")とした時、URLから得られるホスト名に対して、

host が "www.foo.co.jp" なら真 (確実に一致)
host が "www" なら真 (ホスト名が一致、ドメイン名指定無し)
host が "www.fee.co.jp" なら偽 (ドメイン名が不一致)
host が "home.foo.co.jp" なら真 (ホスト名が不一致)

`isResolvable(host)`

host: URLから得られるホスト名です。

ホスト名がDNS的に解決できる場合、真を返します。

例：

isResolvable("www.foo.co.jp"): 真 (DNS的に解決できれば)
isResolvable("bogus.domain.foobar"): 偽

`isInNet(host, pattern, mask)`

host: DNS的ホスト名、IPアドレスです。
pattern: IPアドレスパターン
mask: 一致するアドレス範囲を決定するためのマスクビット

ホストのIPアドレスが指定されたIPアドレスパターンと一致する場合、真を返します。

例：

isInNet(host, "192.26.91.3", "255.255.255.255"): ホストが確実に192.26.91.3と一致すれば、真を返します。
isInNet(host, "192.26.0.0", "255.255.0.0"): ホストのIPアドレスが 192.26.*.* であれば、真を返します。

`dnsResolve(host)`

host: 解決するホスト名です。

与えられたDNSホスト名のIPアドレスを返します。

例：

dnsResolve("host")で host が "w3.lab.kdd.co.jp" の時、"192.26.91.3"を返します。

`myIpAddress()`

Netscape ナビゲータが動作しているホストのIPアドレスを返します。

例：

myIpAddress(): Netscapeナビゲータが動作するホストのIPアドレス "192.168.100.103" を返します。

`dnsDomainLevels(host)`

host: URLから得られるホスト名です。

ホスト名のDNSドメインレベル(ドットの数)の数を返します。

例：

dnsDomainLevels(host)とした時、URLから得られるホスト名に対して、

host が "www" の時、0を返します。
host が "www.foo.co.jp" の時、3を返します。

`shExpMatch(str, shexp)`

str: 比較したい任意の文字列 (例えば、URL、ホスト名等)
shexp: 比較するシェル表現(メタキャラクタ)

文字列が指定されたシェル表現と一致する場合、真を返します (パターンはシェル表現で、正規表現ではありません)。

例：

url が "http://www.foo.co.jp/people/yoo/index.html" であれば、

shExpMatch(url, "*/yoo/*")の時、真を返します
shExpMatch(url, "*/hoo/*")の時、偽を返します。

`weekdayRange(wd1, wd2, gmt)`

wd1 と wd2: 週の曜日、SUN(日曜日)、MON(月曜日)、 TUE(火曜日)、WED(水曜日)、THU(木曜日)、 FRI(金曜日)、SAT(土曜日)
gmt: GMT または無し

第一パラメータ(wd1)は必須です。第二、第三パラメータは指定しなくても構いません。

第一パラメターのみの場合、指定したローカルタイムゾーンを使用した曜日の時間を返します。第二パラメータが "GMT" の場合、GMTタイムゾーンを使用した曜日の時間を返します。

第二パラメータが曜日の場合、現在の曜日が第一パラメータと第二パラメータの曜日の中であれば、真を返します。"GMT" が付いている場合、GMT タイムゾーンを使用します。

例：

weekdayRange("MON", "FRI"): 現曜日が月曜日から金曜日の範囲であれば、真を返します。(ローカルタイムゾーン)
weekdayRange("MON", "FRI", "GMT"): 現曜日が月曜日から金曜日の範囲であれば、真を返します。(GMTタイムゾーン)
weekdayRange("SAT"): 土曜日のローカル時間を返します。
weekdayRange("SAT", "GMT"): 土曜日のGMT時間を返します。
weekdayRange("FRI", "MON"): 現曜日が金曜日から月曜日の範囲であれば、真を返します。(すなわち金、土、日、月曜日)

`dateRange(day)`
`dateRange(day1, day2)`
`dateRange(mon)`
`dateRange(month1, month2)`
`dateRange(year)`
`dateRange(year1, year2)`
`dateRange(day1, month1, day2, month2)`
`dateRange(month1, year2, month2, year2)`
`dateRange(day1, month1, year1, day2, month2, year2)`
`dateRange(day1, month1, year1, day2, month2, year2, gmt)`

day: 1～31迄の日付。
month: 月名、JAN(1月)、FEB(2月)、MAR(3月)、 APR(4月)、MAY(5月)、JUN(6月)、 JUL(7月)、AUG(8月)、SEP(9月)、 OCT(10月)、NOV(11月)、DEC(12月)。
year: 西暦 (例えば、1996)
gmt: GMT (GMTタイムゾーン)または無しの場合はローカルタイムゾーン (JST)を使用します

パラメータが一つ(日、月、年)の場合、その日と一致すれば、真を返します。また、範囲を表す場合、その日が範囲内にあれば、真を返します。

例：

dateRange(1): その日が1日ならば、真を返します。
dateRange(1, "GMT"): その日が1日(GMTタイムゾーン)ならば、真を返します。
dateRange(1, 15): その日が1 ～ 15 日の間ならば、真を返します。
dateRange(24, "DEC"): その日が12月24日ならば、真を返します。
dateRange(24, "DEC", 1995): その日が1995年12月24日ならば、真を返します。
dateRange("JAN", "MAR"): その日が1月1日～3月31日の範囲にあれば、真を返します。
dateRange(1, "JUN", 15, "AUG"): その日が6月1日～8月15日の範囲にあれば、真を返します。
dateRange(1, "JUN", 1995, 15, "AUG", 1995): その日が1995年6月1日～1995年8月15日の範囲にあれば、真を返します。
dateRange("OCT", 1995, "MAR", 1996): その日が1995年10月1日～1996年3月31日の範囲にあれば、真を返します。
dateRange(1995): その日が1995年であれば、真を返します。
dateRange(1995, 1997): その日が1995年～1997年であれば、真を返します。

`timeRange(hour)`
`timeRange(hour1, hour2)`
`timeRange(hour1, min1, hour2, min2)`
`timeRange(hour1, min1, sec1, hour2, min2, sec2)`
`timeRange(hour1, min1, sec1, hour2, min2, sec2, gmt)`

hour: 0～23時。
min: 0～59分
sec: 0～59秒
gmt: GMT (GMTタイムゾーン)または無しの場合はローカルタイムゾーン (JST)を使用します

指定された時間また、時間の範囲であれば、真を返します。例：

timeRange(12): その時間が午後0時～午後1時の間であれば、真を返します。
timeRange(12, 13): 上記と同じ
timeRange(12, "GMT"): その時間がGMTタイムゾーンの午後0時～午後1時の間であれば、真を返します。
timeRange(9, 17): 午前9時～午後5時の間であれば、真を返します。
timeRange(8, 30, 17, 00): 午前8:30～午後5:00の間であれば、真を返します。
timeRange(0, 0, 0, 0, 0, 30): 午前0時0分0秒から30秒後の間であれば、真を返します。

例１

下記の例は、アクセスしたいWWWサーバのホスト名が host という名前、host.foo.co.jp または、host.fee.co.jp であれば、直接接続を行ない、それ以外は、PROXY サーバ proxy.foo.co.jp ポート番号8080を使用します。そして、PROXYサーバがダウンしていた場合は、直接WWWサーバに接続します。

function FindProxyForURL(url, host)
{
    if (isPlainHostName(host) ||
        dnsDomainIs(host, ".foo.co.jp") ||
        dnsDomainIs(host, ".fee.co.jp"))
        return "DIRECT";
    else
        return "PROXY proxy.foo.co.jp:8080; DIRECT";
}

例２

下記の例は、アクセスしたいWWWサーバのホスト hostがDNS解決できれば直接接続し、できなければ、PROXY サーバを使用します。

function FindProxyForURL(url, host)
{
    if (isResolvable(host))
        return "DIRECT";
    else
        return "PROXY proxy.foo.co.jp:8080";
}

DNSが動いていない時にも有効なようにしている。

function FindProxyForURL(url, host)
{
    if (isPlainHostName(host) ||
        dnsDomainIs(host, ".foo.co.jp") ||
        isResolvable(host))
        return "DIRECT";
    else
        return "PROXY proxy.foo.co.jp:8080";
}

例３

下記の例はWWWサーバホストが 192.168.*.* にあれば直接接続し、なければ PROXY サーバを使用します。

function FindProxyForURL(url, host)
{
    if (isInNet(host, "192.168.0.0", "255.255.0.0"))
        return "DIRECT";
    else
        return "PROXY proxy.foo.co.jp:8080";
}

下記はDNSが動いていない時にも大丈夫なようにした例です。

function FindProxyForURL(url, host)
{
    if (isPlainHostName(host) ||
        dnsDomainIs(host, ".foo.co.jp") ||
        isInNet(host, "192.168.0.0", "255.255.0.0"))
        return "DIRECT";
    else
        return "PROXY proxy.foo.co.jp:8080";
}

例４

下記は目的によって PROXYサーバを分けて使用する例です。

ProxyサーバアクセスしたいWWWサーバのホスト

proxy1 .jpドメイン
proxy2 .comドメイン
proxy3 他
proxy4 バックアップ

Proxyサーバ	アクセスしたいWWWサーバのホスト
proxy1	.jpドメイン
proxy2	.comドメイン
proxy3	他
proxy4	バックアップ

"+" は JavaScript の演算子で、文字列をコンカチネートします。

function FindProxyForURL(url, host)
{
    if (isPlainHostName(host) || dnsDomainIs(host, ".foo.co.jp"))
        return "DIRECT";
    else if (shExpMatch(host, "*.jp"))
        return "PROXY proxy1.foo.co.jp:8080; " +
               "PROXY proxy4.foo.co.jp:8080";
    else if (shExpMatch(host, "*.com"))
        return "PROXY proxy2.foo.co.jp:8080; " +
               "PROXY proxy4.foo.co.jp:8080";
    else
        return "PROXY proxy3.foo.co.jp:8080; " +
               "PROXY proxy4.foo.co.jp:8080";
}

例５

下記の例はWWWクライアントホストに応じてProxyサーバを変える例です。 WWWクライアントホストが 192.168.1.* にあれば、Proxyサーバ "proxy1.foo.co.jp:8080"を利用し、192.168.2.* にあれば、Proxyサーバ "proxy2.foo.co.jp:8080"を利用し、それ以外の場合は直接接続とします。

function FindProxyForURL(url, host)
{
    if (isInNet(myIpAddress(), "192.168.1.0", "255.255.255.0"))
        return "PROXY proxy1.foo.co.jp:8080";
    else if (isInNet(myIpAddress(), "192.168.2.0", "255.255.255.0"))
        return "PROXY proxy2.foo.co.jp:8080";
    else
        return "DIRECT";
}

例６

下記の例は、JavaScript の substring()メソッドを使って、プロトコル別のProxyサーバを選択する例です。

function FindProxyForURL(url, host)
{
    if (url.substring(0, 5) == "http:") {

        return "PROXY http-proxy.mydomain.com:8080";

    }
    else if (url.substring(0, 4) == "ftp:") {

        return "PROXY ftp-proxy.mydomain.com:8080";

    }
    else if (url.substring(0, 7) == "gopher:") {

        return "PROXY gopher-proxy.mydomain.com:8080";

    }
    else if (url.substring(0, 6) == "https:" ||
             url.substring(0, 6) == "snews:") {

        return "PROXY security-proxy.mydomain.com:8080";

    }
    else {

        return "DIRECT";

    }
}

shExpMatch()関数を使って、作成することもできます。

...
if (shExpMatch(url, "http:*")) {
    return "PROXY http-proxy.mydomain.com:8080;
}
...

ヒント

設定ファイルは CGI スクリプトの出力を利用すると、より便利になるでしょう。
isInNet()、isResolvable()や dnsResove()関数は、DNS 機能が必要です。そのため、DNS サーバに接続できないと Proxy サーバが利用できなくなってしまいます。例えば、自分のホストがDNSサーバになったり、ProxyサーバをDNS サーバにできれば、二つのサーバを気にしなくてもよくなるのではないでしょうか (しかし、それほどナイーブにならなくてもいいと思います)。

参考文献 http://home.netscape.com/eng/mozilla/2.0/relnotes/demo/proxy-live.html [戻る]

NetscapeのProxy autoconfigの 記述方法

FindProxyForURL(url, host)

設定ファイルの置き方

設定ファイルの記述方法

JavaScript関数

isPlainHostName(host)

dnsDomainIs(host, domain)

localHostOrDomainIs(host, hostdom)

isResolvable(host)

isInNet(host, pattern, mask)

dnsResolve(host)

myIpAddress()

dnsDomainLevels(host)

shExpMatch(str, shexp)

weekdayRange(wd1, wd2, gmt)

timeRange(hour) timeRange(hour1, hour2) timeRange(hour1, min1, hour2, min2) timeRange(hour1, min1, sec1, hour2, min2, sec2) timeRange(hour1, min1, sec1, hour2, min2, sec2, gmt)

例１

例２

例３

例４

例５

例６

ヒント

参考文献