1
0
mirror of https://github.com/postgres/postgres.git synced 2025-06-17 17:02:08 +03:00

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.
This commit is contained in:
Peter Eisentraut
2001-03-11 11:07:01 +00:00
parent 9c2c9fcdfb
commit 671be61916
6 changed files with 94 additions and 61 deletions

View File

@ -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@"));
}
/**