diff options
| author | Andrew Dolgov <[email protected]> | 2013-05-07 01:34:49 -0700 |
|---|---|---|
| committer | Andrew Dolgov <[email protected]> | 2013-05-07 01:34:49 -0700 |
| commit | a4fd183b5853867a9293dba438512d8400e6b65e (patch) | |
| tree | 9776db47df16c7daa91f7a0e2c257031be75d33e /install/index.php | |
| parent | 75933cf00d4331fd27821af03cadbb2e7c83da79 (diff) | |
| parent | 6f7798b6434f5ef6073447998c436901b507e3df (diff) | |
Merge pull request #180 from rlerdorf/master
Fix some bugs found by static analysis
Diffstat (limited to 'install/index.php')
| -rw-r--r-- | install/index.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/install/index.php b/install/index.php index cd017f995..6cb2ace4f 100644 --- a/install/index.php +++ b/install/index.php @@ -89,7 +89,7 @@ <span><img src=\"../images/sign_info.svg\"></span><span>$msg</span></div>"; } - function db_connect($host, $user, $pass, $db, $type, $port) { + function db_connect($host, $user, $pass, $db, $type, $port = false) { if ($type == "pgsql") { $string = "dbname=$db user=$user"; |