# HG changeset patch
# User haftmann
# Date 1340742208 -7200
# Node ID a80595d4f850d5355590be57c160f03d32804b7a
# Parent  c97656ff4154f47618c7f536944df195f479ef1b
correction: proper initialization of existing component

diff -r c97656ff4154 -r a80595d4f850 Admin/init_components
--- a/Admin/init_components	Tue Jun 26 22:09:34 2012 +0200
+++ b/Admin/init_components	Tue Jun 26 22:23:28 2012 +0200
@@ -8,8 +8,12 @@
 function init_component_liberal
 {
   local LOCATION="$1"
-  [[ -d "${LOCATION}" ]] || echo "Warning: no component found in ${LOCATION}" && return
-  init_component "${LOCATION}"
+  if [[ -d "${LOCATION}" ]]
+  then
+    init_component "${LOCATION}"
+  else
+    echo "Warning: no component found in ${LOCATION}"
+  fi
 }
 
 while { unset REPLY; read -r; test "$?" = 0 -o -n "${REPLY}"; }