bin/firefly: set CATALINA_PID and use 'stop --force' for Tomcat

Caltech-IPAC · Jun 2, 2015 · b4b5159 · b4b5159
1 parent b640d7b
commit b4b5159
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/bin/firefly b/bin/firefly
@@ -57,7 +57,10 @@ fi
 catalina()
 {
 	# Run catalina.sh with customized JAVA_OPTS, and logging of the output
-	JAVA_OPTS="-Dport.shutdown=${FFPORTS[1]} -Dport.http=${FFPORTS[0]} $JAVA_OPTS" "$CATALINA_HOME/bin/catalina.sh" "$1" > "$CATALINA_BASE/logs/$1.log"
+
+	JAVA_OPTS="-Dport.shutdown=${FFPORTS[1]} -Dport.http=${FFPORTS[0]} $JAVA_OPTS" \
+	  CATALINA_PID="$CATALINA_BASE/logs/catalina.pid" \
+	  "$CATALINA_HOME/bin/catalina.sh" "$@" > "$CATALINA_BASE/logs/$1.log"
 }
 
 CATALINA_BASE=
@@ -66,7 +69,7 @@ cleanup()
 {
 	# Shut down Tomcat
 	if [[ "$TOMCAT_STARTED" == "1" ]]; then
-		catalina stop
+		catalina stop --force
 	fi
 
 	# Delete the temporary Tomcat configuration directory