From: jean-pierre roux Date: Wed, 27 Jul 2011 13:03:49 +0000 (+0000) Subject: Avoid infinire loop X-Git-Url: https://git.creatis.insa-lyon.fr/pubgit/?a=commitdiff_plain;h=60b0747ba6721f085389ad4fc957f64c31556f69;p=creaToolsTools.git Avoid infinire loop --- diff --git a/Linux/menu.sh b/Linux/menu.sh index 7d765e8..daabce1 100644 --- a/Linux/menu.sh +++ b/Linux/menu.sh @@ -394,12 +394,12 @@ docgeneration="OFF" echo "----------------------------------------------------------------------" echo OK echo "To go on, run again 'bash menu.sh' as '$loginUserName', in a new window" - echo "---------------------------------------------------------------------" + echo "----------------------------------------------------------------------" else echo "----------------------------------------------------------------------" echo OK echo "To go on, run again 'bash menu.sh' in a new window" - echo "---------------------------------------------------------------------" + echo "----------------------------------------------------------------------" fi echo echo "==>" @@ -407,7 +407,6 @@ docgeneration="OFF" echo "==>" source $ETC_BASHRC read a - kill -9 $PPID ;; 1.0)