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