#!/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"


# Could add custom code here if needed, but likely already dealt with
# in companion "ANT-*CUSTOM.sh" scripts

./ant-stop-with-exts.sh && ./ant-start-with-exts.sh


cd "$store_pwd"