git_helpers

@@ -90,7 +90,7 @@ clone_customer_repository () {
     # check if the directory is empty. If so, clone the
     # customer repository
     if ! find ./$WORKSPACE_DIR -mindepth 1 -maxdepth 1 | read; then
-        log_info "$func:${LINENO} cloning ${1} into ${PWD}/${WORKSPACE_DIR}..."
+        log_info "$func:${LINENO} cloning ${1} ..."
         if ! cd "./$WORKSPACE_DIR"; then
             update_psa_clone_error  # message to ISMAS
             log_fatal "$func:${LINENO} can not change to $WORKSPACE_DIR"

news_from_ismas

@@ -2,8 +2,7 @@
 
 source ./log_helpers
 
-if [ "${news_from_ismas_sourced:-1}" = "1" ]; then    # include only once
-    readonly news_from_ismas_sourced=${BASH_SOURCE[0]}
+if [ ${news_to_ismas_sourced:-1} = "1" ]; then    # include only once
     readonly APISM_DIRECT_PORT=7778
 
     updates_available () {

update_psa

@@ -31,6 +31,7 @@ WORKING_DIRECTORY=${PWD}
 while test $# -gt 0; do
     case $1 in
         --maintenance | -m )
+            shift
             MAINTENANCE="YES"
             ;;
         --file | --fil | --fi | --f | -file | -fil | -fi | -f )

update_psa_impl

@@ -67,6 +67,7 @@ update_psa() {
    
     # Fetch new updates (using git). but only when repository has already been
     # cloned.
+    if [ $GIT_CLONE_EXECUTED -eq 0 ]; then
         if ! fetch_customer_updates; then
             log_error "$func:${LINENO}: fetch no data for $customer_id"\
                 "-> no files to update -> no psa update"
@@ -74,6 +75,7 @@ update_psa() {
                 "update request, but no change in $CUSTOMER_REPOSITORY_PATH"
             # TODO
         fi
+    fi
             
     update_psa_pull_customer_repository # message to ISMAS
 }