Changeset 37758

Timestamp:

2023-06-07T20:21:20+12:00 (11 months ago)

Author:

anupama

Message:

The ant-stop-with-exts.sh script also needs to source gs3-setup.sh to locate ant, just like the ant-start-with-exts script. The ant-restart and ant-logreset-restart merely call these 2 scripts, so they don't need extra work.

File:

• main/trunk/greenstone3/ant-stop-with-exts.sh (modified) (1 diff)

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

@@ -7 +7 @@
 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