|
@@ -16,12 +16,11 @@ fi
|
|
|
|
|
|
echo "#Dummy" >> /etc/rc.d/init.d/functions
|
|
|
source /etc/init.d/web-registry-portal status
|
|
|
-source /vars.file
|
|
|
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}
|
|
|
+ exec source /vars.file; ${WEB_REGISTRY_BIN} ${WEB_REGISTRY_CUSTOM_OPTS} ${WEB_REGISTRY_OPTS}
|
|
|
fi
|