From 4121fc3e21ab319b302b479754266375a911b5e8 Mon Sep 17 00:00:00 2001
From: "J. King" <jking@jkingweb.ca>
Date: Wed, 7 Jul 2021 16:19:01 -0400
Subject: [PATCH] Database server ports must be integers

---
 dist/debian/dbconfig-common.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/dist/debian/dbconfig-common.php b/dist/debian/dbconfig-common.php
index f27422a..ee8b674 100644
--- a/dist/debian/dbconfig-common.php
+++ b/dist/debian/dbconfig-common.php
@@ -22,7 +22,7 @@ if (file_exists($dbconfpath)) {
             'dbPostgreSQLHost' => $dbserver ?? "",
             'dbPostgreSQLUser' => $dbuser ?? "arsse",
             'dbPostgreSQLPass' => $dbpass ?? "",
-            'dbPostgreSQLPort' => $dbport ?? 5432,
+            'dbPostgreSQLPort' => (int) $dbport ?: 5432,
             'dbPostgreSQLDb'   => $dbname ?? "arsse",
         ];
     } elseif ($dbtype === "mysql") {
@@ -31,7 +31,7 @@ if (file_exists($dbconfpath)) {
             'dbMySQLHost' => $dbserver ?? "",
             'dbMySQLUser' => $dbuser ?? "arsse",
             'dbMySQLPass' => $dbpass ?? "",
-            'dbMySQLPort' => $dbport ?? 3306,
+            'dbMySQLPort' => (int) $dbport ?: 3306,
             'dbMySQLDb'   => $dbname ?? "arsse",
         ];
     } else {