tag 425020 patch
thanks
On Fri, May 18, 2007 at 03:10:13PM +0200, Javier Kohen wrote:
> Package: tomcat5.5
> Version: 5.5.20-4
> Severity: normal
>
> I noticed that leaving TOMCAT5_USER empty in /etc/default/tomcat5.5 is not
> preventing the launcher from starting Tomcat during boot. This was working
> with Tomcat 5.0 in Debian.
>
> The current init script just sets the user back to tomcat55 if unset in the
> default file, contradicting directly the documentation.
I have written a patch for this issue. What do you think?
Cheers,
Michael
Index: debian/tomcat5.5.init
===================================================================
--- debian/tomcat5.5.init (Revision 3930)
+++ debian/tomcat5.5.init (Arbeitskopie)
@@ -68,6 +68,8 @@
. "$DEFAULT"
fi
+test "$ENABLED" != "0" || exit 0
+
test -f $DAEMON || exit 0
[ -z "$TOMCAT5_USER" ] && TOMCAT5_USER=tomcat55
Index: debian/changelog
===================================================================
--- debian/changelog (Revision 3930)
+++ debian/changelog (Arbeitskopie)
@@ -17,8 +17,10 @@
* Replaced obsolete ${Source-Version} by ${source:Version}.
* Added myself to Uploaders.
* Updated (Build-)Depends on libcommons-modeler-java to (>= 2.0).
+ * Make it possible to configure start of tomcat5.5 at boot time
+ (Closes: #425020).
- -- Michael Koch <[EMAIL PROTECTED]> Wed, 01 Aug 2007 06:20:29 +0200
+ -- Michael Koch <[EMAIL PROTECTED]> Wed, 01 Aug 2007 07:12:12 +0200
tomcat5.5 (5.5.20-5) unstable; urgency=low
Index: debian/tomcat5.5.default
===================================================================
--- debian/tomcat5.5.default (Revision 3930)
+++ debian/tomcat5.5.default (Arbeitskopie)
@@ -1,7 +1,10 @@
-# Run Tomcat as this user ID (default: tomcat55). Set this to an empty string
-# to prevent Tomcat from starting.
+# Run Tomcat as this user ID (default: tomcat55). Setting this to an empty string
+# to make Tomcat use the user tomcat55.
#TOMCAT5_USER=tomcat55
+# Change to '0' to disable starting of tomcat5.5 from starting.
+#ENABLED=1
+
# The home directory of the Java development kit (JDK). You need at least
# JDK version 1.4. If JAVA_HOME is not set, some common directories for
# the Sun JDK, various J2SE 1.4 versions, and the free runtimes
