Attachment 90906 Details for Bug 201470 – Patch

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

[patch] Patch

201470 patch.txt (text/plain), 2.04 KB, created by Bing Xu

on 2008-02-27 13:56:17 EST

(hide)

Description:

Filename:

MIME Type:

Creator: Bing Xu

Created: 2008-02-27 13:56:17 EST

Size: 2.04 KB

patch

obsolete

>### Eclipse Workspace Patch 1.0
>#P org.eclipse.tptp.platform.agentcontroller
>Index: src-native-new/bin/ACStart.sh
>===================================================================
>RCS file: /cvsroot/tptp/platform/org.eclipse.tptp.platform.agentcontroller/src-native-new/bin/ACStart.sh,v
>retrieving revision 1.6
>diff -u -r1.6 ACStart.sh
>--- src-native-new/bin/ACStart.sh	5 Feb 2008 20:09:53 -0000	1.6
>+++ src-native-new/bin/ACStart.sh	27 Feb 2008 18:51:58 -0000
>@@ -6,8 +6,8 @@
> #
> # If TPTP_AC_HOME is not set then we assume we are running from bin.
> #
>-if [ "$TPTP_AC_HOME" = "" ]; then
>-	TPTP_AC_HOME=..
>+if [ -z $TPTP_AC_HOME ]; then
>+	TPTP_AC_HOME=$(dirname $0)/..
> 	export TPTP_AC_HOME
> fi
> PATH=$TPTP_AC_HOME/bin:$PATH
>Index: src-native-new/bin/ACVersion.sh
>===================================================================
>RCS file: /cvsroot/tptp/platform/org.eclipse.tptp.platform.agentcontroller/src-native-new/bin/ACVersion.sh,v
>retrieving revision 1.2
>diff -u -r1.2 ACVersion.sh
>--- src-native-new/bin/ACVersion.sh	15 Oct 2007 17:19:41 -0000	1.2
>+++ src-native-new/bin/ACVersion.sh	27 Feb 2008 18:51:58 -0000
>@@ -6,8 +6,8 @@
> #
> # If TPTP_AC_HOME is not set then we assume we are running from bin.
> #
>-if [ "$TPTP_AC_HOME" = "" ]; then
>-	TPTP_AC_HOME=..
>+if [  -z $TPTP_AC_HOME  ]; then
>+	TPTP_AC_HOME=$(dirname $0)/..
> 	export TPTP_AC_HOME
> fi
> PATH=$TPTP_AC_HOME/bin:$PATH
>Index: src-native-new/bin/ACStop.sh
>===================================================================
>RCS file: /cvsroot/tptp/platform/org.eclipse.tptp.platform.agentcontroller/src-native-new/bin/ACStop.sh,v
>retrieving revision 1.5
>diff -u -r1.5 ACStop.sh
>--- src-native-new/bin/ACStop.sh	5 Feb 2008 20:09:53 -0000	1.5
>+++ src-native-new/bin/ACStop.sh	27 Feb 2008 18:51:58 -0000
>@@ -5,8 +5,8 @@
> 
> # If TPTP_AC_HOME is not set then we assume we are running from bin.
> #
>-if [ "$TPTP_AC_HOME" = "" ]; then
>-	TPTP_AC_HOME=..
>+if [ -z $TPTP_AC_HOME  ]; then
>+	TPTP_AC_HOME=$(dirname $0)/..
> 	export TPTP_AC_HOME
> fi
> PATH=$TPTP_AC_HOME/bin:$PATH

Actions: View | Diff

Attachments on bug 201470: 90906 | 91000