Only append ":3306" to $wgDBserver if it has no port already (#496)

* Only append ":3306" to $wgDBserver if it has no port already

* Update run-maintenance-scripts.sh

Author: yaronkoren

_sources/scripts/run-maintenance-scripts.sh

@@ -9,6 +9,9 @@ set -x
 
 WG_DB_TYPE=$(get_mediawiki_db_var wgDBtype)
 WG_DB_SERVER=$(get_mediawiki_db_var wgDBserver)
+if ! [[ $WG_DB_SERVER =~ ":" ]]; then
+  WG_DB_SERVER+=":3306"
+fi
 WG_DB_NAME=$(get_mediawiki_db_var wgDBname)
 WG_DB_USER=$(get_mediawiki_db_var wgDBuser)
 WG_DB_PASSWORD=$(get_mediawiki_db_var wgDBpassword)
@@ -35,7 +38,7 @@ waitdatabase() {
     fi
 
     echo >&2 "Waiting for database to start"
-    /wait-for-it.sh -t 86400 "$WG_DB_SERVER:3306"
+    /wait-for-it.sh -t 86400 "$WG_DB_SERVER"
 
     mysql=( mysql -h "$WG_DB_SERVER" -u"$WG_DB_USER" -p"$WG_DB_PASSWORD" )
 
@@ -277,4 +280,4 @@ else
 fi
 
 sleep 4
-printf "\n\n>>>>> run-maintenance-scripts.sh <<<<<\n\n\n"
+printf "\n\n>>>>> run-maintenance-scripts.sh <<<<<\n\n\n"