From f0332a73888dbf9e0dc120aac4c54eece79b0c22 Mon Sep 17 00:00:00 2001
From: Brady Wetherington <uberbrady@gmail.com>
Date: Wed, 18 Jul 2018 19:10:06 -0700
Subject: [PATCH] Add DB port number to docker

which gets copied to the docker image's `.env` file during installation. This closes #5718
---
 docker/docker.env | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docker/docker.env b/docker/docker.env
index 89c65f3408..7ee226109b 100644
--- a/docker/docker.env
+++ b/docker/docker.env
@@ -14,6 +14,7 @@
 # --------------------------------------------
 DB_CONNECTION=mysql
 DB_HOST=${MYSQL_PORT_3306_TCP_ADDR}
+DB_PORT=${MYSQL_PORT_3306_TCP_PORT}
 DB_DATABASE=${MYSQL_DATABASE}
 DB_USERNAME=${MYSQL_USER}
 DB_PASSWORD=${MYSQL_PASSWORD}