From 0320cac3d8844f8ea44a8e3a27dd75f385b12061 Mon Sep 17 00:00:00 2001
From: Tom Tromey <tromey@redhat.com>
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 aa858e80ee0a..de4370dbeb12 100644
--- a/gcc/java/ChangeLog
+++ b/gcc/java/ChangeLog
@@ -1,5 +1,8 @@
2003-01-03 Tom Tromey <tromey@redhat.com>
+ * gcj.texi (Standard Properties): Document http.proxyHost and
+ http.proxyPort.
+
* gcj.texi (GNU Classpath Properties): Document new properties.
2003-01-02 Steven Bosscher <s.bosscher@student.tudelft.nl>
diff --git a/gcc/java/gcj.texi b/gcc/java/gcj.texi
index cb7ee692c7bc..8a40b7739f0b 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
--
GitLab