diff options
Diffstat (limited to 'databases/pgpoolAdmin/files/patch-common.php')
| -rw-r--r-- | databases/pgpoolAdmin/files/patch-common.php | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/databases/pgpoolAdmin/files/patch-common.php b/databases/pgpoolAdmin/files/patch-common.php new file mode 100644 index 000000000000..d812729adecf --- /dev/null +++ b/databases/pgpoolAdmin/files/patch-common.php @@ -0,0 +1,11 @@ +--- common.php.orig Thu Apr 12 20:13:37 2007 ++++ common.php Thu Apr 12 20:13:55 2007 +@@ -233,7 +233,7 @@ + if($backendHostName != '') { + $conStr = "dbname=$healthCheckDb user=$healthCheckUser host=$backendHostName port=$backendPort" ; + } else { +- $conStr = "dbname=$healthCheckDb port=$backendPort" ; ++ $conStr = "dbname=$healthCheckDb user=$healthCheckUser port=$backendPort" ; + } + + $conn = @pg_connect($conStr); |