X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=tunings-myplc-devel%2Finit-d-plc-devel;h=2dc843838a0a8d060275e85ba262b803860670d7;hb=63a344abc88bc19be4a7d5709ceb7f89508580b6;hp=88dcffe63e77f1236f889a33f24cdf10320d3b9a;hpb=6fa6232cececc6e96e80eb1f4b6085e1f4632836;p=infrastructure.git diff --git a/tunings-myplc-devel/init-d-plc-devel b/tunings-myplc-devel/init-d-plc-devel index 88dcffe..2dc8438 100755 --- a/tunings-myplc-devel/init-d-plc-devel +++ b/tunings-myplc-devel/init-d-plc-devel @@ -75,6 +75,7 @@ mount_plc () mount -t none -o bind,ro /data/fedora $PLC_ROOT/data/fedora check fi + fi if [ -d /svn ] ; then if ! mounted $PLC_ROOT/svn ; then mount -t none -o bind,ro /svn $PLC_ROOT/svn @@ -106,7 +107,7 @@ umount_plc () { echo -n $"Unmounting PLC: " - for dir in $PLC_ROOT/proc $PLC_ROOT/data/fedora $PLC_ROOT/svn $PLC_ROOT/data $PLC_ROOT ; do + for dir in $PLC_ROOT/proc $PLC_ROOT/svn $PLC_ROOT/data/fedora $PLC_ROOT/data $PLC_ROOT ; do if mounted $dir ; then umount $dir check @@ -132,7 +133,7 @@ stop () mountstatus_plc () { - for dir in $PLC_ROOT/proc $PLC_ROOT/data/fedora$PLC_ROOT/svn $PLC_ROOT/data $PLC_ROOT ; do + for dir in $PLC_ROOT/proc $PLC_ROOT/svn $PLC_ROOT/data/fedora $PLC_ROOT/data $PLC_ROOT ; do if mounted $dir ; then echo $dir fi