1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-15 23:50:44 +00:00
freebsd-ports/java/jsdk/files/patch-aa
Jun Kuriyama a0d231369c Re-arrange directory hierarchy.
Approved by:	maintainer
1999-06-30 22:04:56 +00:00

46 lines
1.1 KiB
Plaintext

--- bin/servletrunner.orig Wed Apr 22 04:32:48 1998
+++ bin/servletrunner Wed Jun 30 22:34:20 1999
@@ -54,7 +54,7 @@
fi
if [ -z "$JAVA_HOME" ]
then
- JAVA_HOME=/usr/local/jdk1.1
+ JAVA_HOME=/usr/local/jdk1.1.8
fi
fi
@@ -66,31 +66,12 @@
error "Cannot find the Java runtime. Please set JAVA_HOME."
fi
-# If JSDK_HOME not specified then determine default location of JSDK
-# from directory out of which this script was executed. Otherwise,
-# JSDK_HOME must be set manually.
-
-d=`dirname $0`
-if [ -n "$d" ]
- then
- JSDK_HOME=`cd $d/.. >/dev/null 2>&1 && pwd`
-fi
-if [ -z "$JSDK_HOME" ]
- then
- error "Cannot find the JSDK. Please set JSDK_HOME."
-fi
-
-if [ ! -d "$JSDK_HOME" ]
-then
- error "JSDK_HOME ($JSDK_HOME) must be a directory."
-fi
-
# Add JSDK classes to default class path.
-CLASSPATH=$JSDK_HOME/classes:$JSDK_HOME/lib/jsdk.jar:$CLASSPATH
+CLASSPATH=%%PREFIX%%/share/java/classes/jsdk.jar:$CLASSPATH
export CLASSPATH
# Start server and pass any arguments specified on command line.
-cd $JSDK_HOME
+cd %%PREFIX%%/share/java/classes
$JAVA_HOME/bin/java sun.servlet.http.HttpServer $*