Avoid infinire loop

[creaToolsTools.git] / Linux / menu.sh

diff --git a/Linux/menu.sh b/Linux/menu.sh
index 7d765e86e34b744622d5177519473f741b35a082..daabce14d159a78b5c307c902d5a81614d350ec5 100644 (file)
--- 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)