|
@@ -24,6 +24,7 @@ echo ${admin_ip} > /tmp/admin_ip
|
|
|
|
|
|
|
|
echo "#Dummy" >> /etc/rc.d/init.d/functions
|
|
echo "#Dummy" >> /etc/rc.d/init.d/functions
|
|
|
source /etc/init.d/web-registry-portal status
|
|
source /etc/init.d/web-registry-portal status
|
|
|
|
|
+rm -rf /var/run/web-registry-portal/play.pid
|
|
|
|
|
|
|
|
if [ ! -z "$*" ]
|
|
if [ ! -z "$*" ]
|
|
|
then
|
|
then
|
