commit d6d1a2cda42addf4199b54dd9a638323c535df77
parent 295e1cb36f3ca60c3f1b2dcf7bf395c9951b4d2c
Author: Florian Dold <florian@dold.me>
Date: Tue, 3 Dec 2024 11:59:17 +0100
fix condition
Diffstat:
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sandcastle-run b/sandcastle-run
@@ -44,8 +44,8 @@ if [[ -n ${SANDCASTLE_OVERRIDE_NAME:-} ]]; then
EXTERNAL_PORT=$(source $PWD/overrides/${SANDCASTLE_OVERRIDE_NAME}; echo ${EXTERNAL_PORT:-})
if [[ $EXTERNAL_PORT =~ ^[0-9]+$ ]]; then
echo Serving via port $EXTERNAL_PORT
+ PUBLISH_EXTERNAL_PORT="-p=${EXTERNAL_PORT}:${EXTERNAL_PORT}"
fi
- PUBLISH_EXTERNAL_PORT="-p=${EXTERNAL_PORT}:${EXTERNAL_PORT}"
else
OVERRIDES=""
fi