From e218c24ecb65915c2a260ac4684ff393e22b48b2 Mon Sep 17 00:00:00 2001 From: Peter Eisentraut Date: Sun, 11 Mar 2001 11:07:01 +0000 Subject: [PATCH] Add uninstall target to Java build. Respect default port setting in JDBC driver. Pick up version number from Makefile.global. Change installation directory to share/java/. Document. --- build.xml | 6 ++ contrib/retep/build.xml | 9 ++- doc/src/sgml/jdbc.sgml | 81 +++++++++---------- src/interfaces/jdbc/Makefile | 31 ++++--- src/interfaces/jdbc/build.xml | 16 +++- .../jdbc/org/postgresql/Driver.java.in | 2 +- 6 files changed, 89 insertions(+), 56 deletions(-) diff --git a/build.xml b/build.xml index 1818be4cc8..749a0382f5 100644 --- a/build.xml +++ b/build.xml @@ -69,6 +69,12 @@ e.g. + + + + + + - + + @@ -153,6 +152,17 @@ + + + + + + + + + diff --git a/src/interfaces/jdbc/org/postgresql/Driver.java.in b/src/interfaces/jdbc/org/postgresql/Driver.java.in index d7452c6752..5d64a3f579 100644 --- a/src/interfaces/jdbc/org/postgresql/Driver.java.in +++ b/src/interfaces/jdbc/org/postgresql/Driver.java.in @@ -351,7 +351,7 @@ public class Driver implements java.sql.Driver */ public int port() { - return Integer.parseInt(props.getProperty("PGPORT","5432")); + return Integer.parseInt(props.getProperty("PGPORT","@DEF_PGPORT@")); } /** -- 2.39.5