Use the PORT_CONFIGURATION_LINE in run_docker (#1723)

This commit is contained in:
Devin Neal 2021-07-18 17:49:35 -07:00 committed by GitHub
parent 6059fc7652
commit c0bec41b78
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions

View File

@ -120,6 +120,7 @@ mkdir -p .docker_home
# then run forever # then run forever
CONTAINER=$(\ CONTAINER=$(\
docker run \ docker run \
$PORT_CONFIGURATION_LINE \
-d --rm \ -d --rm \
-v $PWD:/src \ -v $PWD:/src \
--user root \ --user root \