2
0

entrypoint.sh 269 B

123456789101112131415
  1. #!/bin/bash
  2. set -u
  3. trap '[ ${#PIDS[@]} -gt 0 ] && kill -TERM ${PIDS[@]}' TERM
  4. declare -a PIDS
  5. for port in $WEB_PORTS; do
  6. echo starting a web server listening on port "$port";
  7. /webserver.py "$port" &
  8. PIDS+=($!)
  9. done
  10. wait "${PIDS[@]}"
  11. trap - TERM
  12. wait "${PIDS[@]}"