- #!/usr/bin/env bash
- 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
|