diff options
author | Klaus Aehlig <aehlig@google.com> | 2017-12-05 08:40:29 -0800 |
---|---|---|
committer | Copybara-Service <copybara-piper@google.com> | 2017-12-05 08:41:53 -0800 |
commit | 3be641723c5fb52ab80ab60976635f48ae07c28e (patch) | |
tree | 66abd18c224698d2b6078f8cbde42c3a654010f1 /scripts | |
parent | a1c3231f3b48f22638529960257c59c71c38b668 (diff) |
scripts/serve-docs.sh: allow overriding PORT/HOST
...through the corresponding environment variables. In this
way, more than one documentation version can be served, e.g.,
to simplify comparing.
Change-Id: I4ae069a4a48f12e9bd48210ee3bd22299149f59d
PiperOrigin-RevId: 177959891
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/serve-docs.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/serve-docs.sh b/scripts/serve-docs.sh index 8d06d65e96..f1dfbd5e18 100755 --- a/scripts/serve-docs.sh +++ b/scripts/serve-docs.sh @@ -16,8 +16,8 @@ set -eu readonly WORKING_DIR=$(mktemp -d) -HOST=localhost -PORT=12345 +: ${HOST:=localhost} +: ${PORT:=12345} TARGET= SERVING_PREFIX= |