Attachment #91000 for bug #201470

Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.




#

#
# If TPTP_AC_HOME is not set then set it to the parent directory of the directory containing this script
#
if [ -z $TPTP_AC_HOME ]; then
	TPTP_AC_HOME=`dirname $0`/..
	export TPTP_AC_HOME
fi
PATH=$TPTP_AC_HOME/bin:$PATH

# Start the ACServer
#
RUNNING=`ps -ae | grep "ACServer" | wc -l`
if [ $RUNNING -ne 0 ];then
	ps -ae | grep "ACServer" | awk '{
  	print "The server is already running on pid " $1
	}'      

# Check if ACServer is running by querying the system process list
#
ps -ae | grep "ACServer" | wc -l | awk '{
	if( $1 -ne 0 ) {
		print "ACServer started successfully."
		exit 0
	}

Lines 4-13 Link Here

(-)src-native-new/bin/ACVersion.sh (-3 / +3 lines)
4	#	4	#
5		5
6	#	6	#
7	# If TPTP_AC_HOME is not set then we assume we are running from bin.	7	# If TPTP_AC_HOME is not set then set it to the parent directory of the directory containing this script
8	#	8	#
9	if [ "$TPTP_AC_HOME" = "" ]; then	9	if [ -z $TPTP_AC_HOME ]; then
10	TPTP_AC_HOME=..	10	TPTP_AC_HOME=`dirname $0`/..
11	export TPTP_AC_HOME	11	export TPTP_AC_HOME
12	fi	12	fi
13	PATH=$TPTP_AC_HOME/bin:$PATH	13	PATH=$TPTP_AC_HOME/bin:$PATH




# ACStop.sh - Stops the Agent Controller server process if it is running.
#

# If TPTP_AC_HOME is not set then set it to the parent directory of the directory containing this script
#
if [ -z $TPTP_AC_HOME ]; then
	TPTP_AC_HOME=`dirname $0`/..
	export TPTP_AC_HOME
fi
PATH=$TPTP_AC_HOME/bin:$PATH

fi

RUNNING=`ps -ae | grep "ACServer" | wc -l`
if [ $RUNNING -ne 0 ];then
	ACServer -shutdown
        echo "ACServer stopped."
        exit 0

Return to bug 201470

Lines 4-13 Link Here

(-)src-native-new/bin/ACStart.sh (-5 / +5 lines)
4	#	4	#
5		5
6	#	6	#
7	# If TPTP_AC_HOME is not set then we assume we are running from bin.	7	# If TPTP_AC_HOME is not set then set it to the parent directory of the directory containing this script
8	#	8	#
9	if [ "$TPTP_AC_HOME" = "" ]; then	9	if [ -z $TPTP_AC_HOME ]; then
10	TPTP_AC_HOME=..	10	TPTP_AC_HOME=`dirname $0`/..
11	export TPTP_AC_HOME	11	export TPTP_AC_HOME
12	fi	12	fi
13	PATH=$TPTP_AC_HOME/bin:$PATH	13	PATH=$TPTP_AC_HOME/bin:$PATH
Lines 55-61 Link Here
55	# Start the ACServer	55	# Start the ACServer
56	#	56	#
57	RUNNING=`ps -ae \| grep "ACServer" \| wc -l`	57	RUNNING=`ps -ae \| grep "ACServer" \| wc -l`
58	if [ $RUNNING != "0" ];then	58	if [ $RUNNING -ne 0 ];then
59	ps -ae \| grep "ACServer" \| awk '{	59	ps -ae \| grep "ACServer" \| awk '{
60	print "The server is already running on pid " $1	60	print "The server is already running on pid " $1
61	}'	61	}'
Lines 73-79 Link Here
73	# Check if ACServer is running by querying the system process list	73	# Check if ACServer is running by querying the system process list
74	#	74	#
75	ps -ae \| grep "ACServer" \| wc -l \| awk '{	75	ps -ae \| grep "ACServer" \| wc -l \| awk '{
76	if( $1!="0" ) {	76	if( $1 -ne 0 ) {
77	print "ACServer started successfully."	77	print "ACServer started successfully."
78	exit 0	78	exit 0
79	}	79	}

Lines 3-12 Link Here

(-)src-native-new/bin/ACStop.sh (-4 / +4 lines)
3	# ACStop.sh - Stops the Agent Controller server process if it is running.	3	# ACStop.sh - Stops the Agent Controller server process if it is running.
4	#	4	#
5		5
6	# If TPTP_AC_HOME is not set then we assume we are running from bin.	6	# If TPTP_AC_HOME is not set then set it to the parent directory of the directory containing this script
7	#	7	#
8	if [ "$TPTP_AC_HOME" = "" ]; then	8	if [ -z $TPTP_AC_HOME ]; then
9	TPTP_AC_HOME=..	9	TPTP_AC_HOME=`dirname $0`/..
10	export TPTP_AC_HOME	10	export TPTP_AC_HOME
11	fi	11	fi
12	PATH=$TPTP_AC_HOME/bin:$PATH	12	PATH=$TPTP_AC_HOME/bin:$PATH
Lines 35-41 Link Here
35	fi	35	fi
36		36
37	RUNNING=`ps -ae \| grep "ACServer" \| wc -l`	37	RUNNING=`ps -ae \| grep "ACServer" \| wc -l`
38	if [ $RUNNING != "0" ];then	38	if [ $RUNNING -ne 0 ];then
39	ACServer -shutdown	39	ACServer -shutdown
40	echo "ACServer stopped."	40	echo "ACServer stopped."
41	exit 0	41	exit 0