tomcat-5-bin: new spell, an implementation of the Servlet and JSP technologies

accounts: added tomcat5 user (uid=36,gid=35)

10 files changed, 106 insertions, 0 deletions

diff --git a/ChangeLog b/ChangeLog
index 8b0e19f..4764560 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2009-07-21 Julien "_kaze_" ROZO <julien@rozo.org>
+	* accounts: added tomcat5 user
+	* bin-http/tomcat-5-bin: new spell, an implementation of the Servlet and
+	  JSP technologies
+
 2009-06-11 Julien "_kaze_" ROZO <julien@rozo.org>
 	* accounts: added, for tomcat6 user
 	* groups: added, for tomcat group
diff --git a/accounts b/accounts
index a2cbc3d..e41d6b0 100755
--- a/accounts
+++ b/accounts
@@ -1,3 +1,4 @@
 # FORMAT: <account>:<UID>:<Primary GID>:<GID>:<GID>:... etc.
 
+tomcat5:36:35
 tomcat6:38:35
diff --git a/bin-http/tomcat-5-bin/BUILD b/bin-http/tomcat-5-bin/BUILD
new file mode 100755
index 0000000..27ba77d
--- /dev/null
+++ b/bin-http/tomcat-5-bin/BUILD
@@ -0,0 +1 @@
+true
diff --git a/bin-http/tomcat-5-bin/DEPENDS b/bin-http/tomcat-5-bin/DEPENDS
new file mode 100755
index 0000000..9521fc6
--- /dev/null
+++ b/bin-http/tomcat-5-bin/DEPENDS
@@ -0,0 +1 @@
+depends JDK5 "" "" z-rejected
diff --git a/bin-http/tomcat-5-bin/DETAILS b/bin-http/tomcat-5-bin/DETAILS
new file mode 100755
index 0000000..c6b9763
--- /dev/null
+++ b/bin-http/tomcat-5-bin/DETAILS
@@ -0,0 +1,15 @@
+           SPELL=tomcat-5-bin
+         VERSION=5.0.30
+          SOURCE="jakarta-tomcat-${VERSION}.tar.gz"
+    SOURCE_URL[0]=http://archive.apache.org/dist/tomcat/tomcat-5/v${VERSION}/bin/${SOURCE}
+     SOURCE_HASH=sha512:e0f32cdaca9cd51c6be3a4c4d24bf819a0304cea0d20d8329396d57df3af20bb9d8ef5eeb3ea6c97bbdbd6bdbaa2b0daa1b1f73e2dd47e6535f2e0a0599f55b7
+SOURCE_DIRECTORY="${BUILD_DIRECTORY}/jakarta-tomcat-${VERSION}"
+        WEB_SITE="http://tomcat.apache.org"
+      LICENSE[0]=ASF
+         ENTERED=20090721
+           SHORT="an implementation of the Servlet and JSP technologies"
+cat << EOF
+Apache Tomcat is an implementation of the Java Servlet and JavaServer Pages
+technologies. The Java Servlet and JavaServer Pages specifications are
+developed under the Java Community Process.
+EOF
diff --git a/bin-http/tomcat-5-bin/HISTORY b/bin-http/tomcat-5-bin/HISTORY
new file mode 100644
index 0000000..8064382
--- /dev/null
+++ b/bin-http/tomcat-5-bin/HISTORY
@@ -0,0 +1,4 @@
+2009-07-21 Julien "_kaze_" ROZO <julien@rozo.org>
+	* BUILD, DEPENDS, DETAILS, HISTORY, INSTALL, PRE_BUILD, init.d/tomcat5,
+	  init.d/tomcat5.conf: created this spell
+
diff --git a/bin-http/tomcat-5-bin/INSTALL b/bin-http/tomcat-5-bin/INSTALL
new file mode 100755
index 0000000..3832e61
--- /dev/null
+++ b/bin-http/tomcat-5-bin/INSTALL
@@ -0,0 +1,4 @@
+INSTALL_DIR=${INSTALL_ROOT}/opt/tomcat5 &&
+mkdir -pv ${INSTALL_DIR} &&
+cp -rv ${SOURCE_DIRECTORY}/* ${INSTALL_DIR} &&
+find ${INSTALL_DIR}/ -print0 | xargs -r -0 -n 1 chown tomcat5:tomcat
diff --git a/bin-http/tomcat-5-bin/PRE_BUILD b/bin-http/tomcat-5-bin/PRE_BUILD
new file mode 100755
index 0000000..8234eea
--- /dev/null
+++ b/bin-http/tomcat-5-bin/PRE_BUILD
@@ -0,0 +1,3 @@
+create_account  tomcat5  &&
+create_group    tomcat   &&
+default_pre_build
diff --git a/bin-http/tomcat-5-bin/init.d/tomcat5 b/bin-http/tomcat-5-bin/init.d/tomcat5
new file mode 100755
index 0000000..82754d6
--- /dev/null
+++ b/bin-http/tomcat-5-bin/init.d/tomcat5
@@ -0,0 +1,54 @@
+#! /bin/sh
+#
+# tomcat Start the tomcat server.
+#
+
+PROGRAM=/bin/false
+PIDFILE="/var/run/tomcat5.pid"
+RUNLEVEL=3
+
+. /etc/init.d/smgl_init
+. /etc/sysconfig/tomcat5
+
+NAME="Jakarta Tomcat 5.0"
+
+start() 
+{
+	echo -ne "Starting $NAME.\n"
+	if [ -e $PIDFILE ] ; then
+	        echo "$NAME already running";
+	else
+		/bin/su -s /bin/sh $TOMCAT_USER -c $TOMCAT_HOME/bin/startup.sh
+		echo `ps -U ${TOMCAT_USER} -o pid=` > $PIDFILE
+	fi
+	evaluate_retval
+}
+
+stop()
+{
+	echo -ne "Stopping $NAME.\n"
+	if [ -e $PIDFILE ] ; then
+		/bin/su -s /bin/sh $TOMCAT_USER -c $TOMCAT_HOME/bin/shutdown.sh
+		rm -f $PIDFILE
+	else
+	        echo "$NAME not running";
+	fi
+	evaluate_retval
+}
+
+restart()
+{
+	echo -ne "Restarting $NAME.\n"
+	stop &&
+	sleep 5 &&
+	start 
+}
+
+status()
+{
+	if [ -e $PIDFILE ] ; then
+	        echo "$NAME is running with Process ID(s) `cat $PIDFILE`";
+	else
+	        echo "$NAME is not running";
+	fi
+}
diff --git a/bin-http/tomcat-5-bin/init.d/tomcat5.conf b/bin-http/tomcat-5-bin/init.d/tomcat5.conf
new file mode 100644
index 0000000..5062370
--- /dev/null
+++ b/bin-http/tomcat-5-bin/init.d/tomcat5.conf
@@ -0,0 +1,18 @@
+# where java is installed
+JAVA_HOME="/usr/lib/j2sdk"
+
+# where tomcat-6-bin is installed
+TOMCAT_HOME="/opt/tomcat5"
+
+# user launching the JVM
+TOMCAT_USER="tomcat5"
+
+# parameters passed to the JVM
+JAVA_OPTS=""
+
+# locale used by the JVM
+LANG="en_US"
+
+# if not exported, those variables are not available
+# to tomcat startup and shutdown scripts
+export JAVA_HOME JAVA_OPTS LANG