lib/scripts/getsettings
changeset 49347 d4768cb77a69
parent 49000 0cebcbeac4c7
child 52443 725916b7dee5
equal deleted inserted replaced
49346:977cf0788b30 49347:d4768cb77a69
   183 function init_components ()
   183 function init_components ()
   184 {
   184 {
   185   local BASE="$1"
   185   local BASE="$1"
   186   local CATALOG="$2"
   186   local CATALOG="$2"
   187 
   187 
   188   if [ ! -d "$BASE" ]; then
       
   189     echo >&2 "Bad component base directory: \"$BASE\""
       
   190     exit 2
       
   191   fi
       
   192   if [ ! -f "$CATALOG" ]; then
   188   if [ ! -f "$CATALOG" ]; then
   193     echo >&2 "Bad component catalog file: \"$CATALOG\""
   189     echo >&2 "Bad component catalog file: \"$CATALOG\""
   194     exit 2
   190     exit 2
   195   fi
   191   fi
   196   {
   192   {