| 12345678910111213141516171819202122 |
- #!/usr/bin/env bash
- if [ ! -z "${APPNET}" ]; then
- echo "Initial nslookup ${ADMIN_HOST}.${APPNET}"
- nslookup ${ADMIN_HOST}.${APPNET}
- while [ $? -ne 0 ]; do
- echo "Waiting for ${ADMIN_HOST}.${APPNET} to become available"
- sleep 1
- nslookup ${ADMIN_HOST}.${APPNET}
- done
- fi
- echo "#Dummy" >> /etc/rc.d/init.d/functions
- source /etc/init.d/web-registry-portal status
- rm -rf /var/run/web-registry-portal/play.pid
- if [ ! -z "$*" ]
- then
- exec "$@"
- else
- exec ${WEB_REGISTRY_BIN} ${WEB_REGISTRY_CUSTOM_OPTS} ${WEB_REGISTRY_OPTS}
- fi
|
