- #!/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[@]}
 
 
  |