From 0320cac3d8844f8ea44a8e3a27dd75f385b12061 Mon Sep 17 00:00:00 2001 From: Tom Tromey Date: Fri, 3 Jan 2003 18:04:25 +0000 Subject: [PATCH] gcj.texi (Standard Properties): Document http.proxyHost and http.proxyPort. * gcj.texi (Standard Properties): Document http.proxyHost and http.proxyPort. From-SVN: r60844 --- gcc/java/ChangeLog | 3 +++ gcc/java/gcj.texi | 6 ++++++ 2 files changed, 9 insertions(+) diff --git a/gcc/java/ChangeLog b/gcc/java/ChangeLog index aa858e80ee0..de4370dbeb1 100644 --- a/gcc/java/ChangeLog +++ b/gcc/java/ChangeLog @@ -1,5 +1,8 @@ 2003-01-03 Tom Tromey + * gcj.texi (Standard Properties): Document http.proxyHost and + http.proxyPort. + * gcj.texi (GNU Classpath Properties): Document new properties. 2003-01-02 Steven Bosscher diff --git a/gcc/java/gcj.texi b/gcc/java/gcj.texi index cb7ee692c7b..8a40b7739f0 100644 --- a/gcc/java/gcj.texi +++ b/gcc/java/gcj.texi @@ -2151,6 +2151,12 @@ Returned by @code{java.awt.Window.getWarningString()} when the window is The class name used for initializing the default @code{java.awt.Toolkit}. Defaults to @code{gnu.awt.gtk.GtkToolkit}. +@item http.proxyHost +Name of proxy host for http connections. + +@item http.proxyPort +Port number to use when a proxy host is in use. + @end table @node GNU Classpath Properties -- 2.30.2