- #!/bin/bash
- set -u
- trap '[ ${#PIDS[@]} -gt 0 ] && kill -TERM ${PIDS[@]}' TERM
- declare -a PIDS
- for port in $WEB_PORTS; do
- echo starting a web server listening on port "$port";
- /webserver.py "$port" &
- PIDS+=($!)
- done
- wait "${PIDS[@]}"
- trap - TERM
- wait "${PIDS[@]}"
|