- for server in API BOOT WWW ; do
- hostname=PLC_${server}_HOST
- ip=$(gethostbyname ${!hostname})
- if [ -n "$ip" ] ; then
- if [ -z "$PLC_API_MAINTENANCE_SOURCES" ] ; then
- PLC_API_MAINTENANCE_SOURCES=$ip
- else
- PLC_API_MAINTENANCE_SOURCES="$PLC_API_MAINTENANCE_SOURCES $ip"
- fi
- fi
- done
+ PLC_API_MAINTENANCE_SOURCES=($((
+ for ip in $PLC_API_MAINTENANCE_SOURCES ; do
+ echo $ip
+ done
+ for server in API BOOT WWW ; do
+ hostname=PLC_${server}_HOST
+ gethostbyname ${!hostname}
+ done
+ ) | sort -u))
+ PLC_API_MAINTENANCE_SOURCES=${PLC_API_MAINTENANCE_SOURCES[*]}