From 5e46fc2fb28052514e4dcdb1947a0c090701ce94 Mon Sep 17 00:00:00 2001
From: acrewdson <acrewdson@users.noreply.github.com>
Date: Mon, 14 May 2018 15:16:00 -0400
Subject: [PATCH] Add default value for DJANGO_HTTP_PORT if not set

---
 runserver.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/runserver.sh b/runserver.sh
index d38fe080054..6b885061905 100755
--- a/runserver.sh
+++ b/runserver.sh
@@ -9,6 +9,8 @@
 # Set script to exit on any errors.
 set -e
 
+DJANGO_HTTP_PORT=${DJANGO_HTTP_PORT:-8000}
+
 if [ "$1" == "ssl" ]; then
   echo -e '\033[0;32mStarting SSL Django server on port' $DJANGO_HTTP_PORT '...'
   tput sgr0