source: main/trunk/greenstone3/ant-stop-with-exts.sh

#!/bin/bash 

# This script can be run from any directory, but the script file itself
# NEEDS TO BE IN THE TOP-LEVEL GREENSTONE3 SRC HOME DIRECTORY

store_pwd="$(pwd)"
full_progdir="$( cd "$( dirname "${BASH_SOURCE[0]}" )" > /dev/null && pwd )"
cd "$full_progdir"

if [ "x$GSDL3SRCHOME" = "x" ] ; then
    if [ -f SETUP.bash ] ; then
        . ./SETUP.bash
    fi
fi

if test "x$gsopt_noexts" != "x1" ; then

    echo ""
    echo "----"
    echo "Checking for custom ant-stop extension settings (ant-stop.sh)"
    echo "----"

    # Check Greenstone3 extensions
    if [ -d ext  ] ; then
    for gsdl_ext in ext/* ; do
        # Run ext's 'stop' script if it exists,
        # Then source ant-stop-settings.bash in case there are any variables
        # the script wants to unset/restore to previous value
        if [ -d $gsdl_ext ] ; then
        cd $gsdl_ext > /dev/null
        if [ -f ant-stop.sh ]; then 
            ./ant-stop.sh 
        fi 
        if [ -f ant-stop-settings.bash ]; then 
            . ./ant-stop-settings.sh 
        fi 
        cd ../..
            
        fi
    done
    fi

    # Check Greenstone2 extensions
    if [ -d gs2build/ext  ] ; then
    for gsdl_ext in gs2build/ext/* ; do
        # Run ext's 'stop' script if it exists,
        # Then source ant-stop-settings.bash in case there are any variables
        # the script wants to unset/restore to previous value       
        if [ -d $gsdl_ext ] ; then 
        cd $gsdl_ext > /dev/null
        if [ -f ant-stop.sh ]; then 
            ./ant-stop.sh 
        fi 
        if [ -f ant-stop-settings.bash ]; then 
            . ./ant-stop-settings.bash 
        fi 
        cd ../../..
        fi
    done
    fi    
fi


# If needed, add any further customized code needed here, such as
# environemnt variables

ant stop 

# Any customized clean up needed?