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