#!/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