From c0bec41b78afccce80cf11dc4cff49076195b887 Mon Sep 17 00:00:00 2001
From: Devin Neal <devin@eulertour.com>
Date: Sun, 18 Jul 2021 17:49:35 -0700
Subject: [PATCH] Use the PORT_CONFIGURATION_LINE in run_docker (#1723)

---
 run_docker | 1 +
 1 file changed, 1 insertion(+)

diff --git a/run_docker b/run_docker
index 69b0fc7ea..f939c3753 100755
--- a/run_docker
+++ b/run_docker
@@ -120,6 +120,7 @@ mkdir -p .docker_home
 # then run forever
 CONTAINER=$(\
   docker run \
+    $PORT_CONFIGURATION_LINE \
     -d --rm \
     -v $PWD:/src \
     --user root \