diff options
| author | Peter Eisentraut <peter_e@gmx.net> | 2001-03-11 11:07:01 +0000 |
|---|---|---|
| committer | Peter Eisentraut <peter_e@gmx.net> | 2001-03-11 11:07:01 +0000 |
| commit | 671be61916e7438c9d7ed46a3d14e15c195bb02f (patch) | |
| tree | e3e1fa83c2c3dd35f82f3a76e15e52fb5d5e8175 /src/interfaces/jdbc/org/postgresql/Driver.java.in | |
| parent | 9c2c9fcdfb8d9e3f4b47f3cc2137662cdb68b952 (diff) | |
| download | postgresql-671be61916e7438c9d7ed46a3d14e15c195bb02f.tar.gz | |
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.
Diffstat (limited to 'src/interfaces/jdbc/org/postgresql/Driver.java.in')
| -rw-r--r-- | src/interfaces/jdbc/org/postgresql/Driver.java.in | 2 |
1 files changed, 1 insertions, 1 deletions
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@")); } /** |