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 \