2
0

entrypoint.sh 261 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[@]}