Bug#284833: superfluous directory in catalina_home?

[Vincent.McIntyre@csiro.au, 284833@bugs.debian.org]

>
> I don't have this file. Which release of tomcat are you talkin'
> about. Also, what is in that directory? I know tomcat caches the jsp ->
> java -> class transformation, compilation.

tomcat4, but it's the _stable_ version
% dpkg -l |grep tomcat
ii  libtomcat4-jav 4.0.3-3woody3  Java Servlet engine -- core libraries
ii  tomcat4        4.0.3-3woody3  Java Servlet 2.3 engine with JSP 1.2
support

I didn't look to see if this was fixed in unstable.

% dpkg -L tomcat4|grep init
/etc/init.d
/etc/init.d/tomcat4

> I'm not sure but I don't think it's a bug.
>
> # grep _temp /etc/init.d/tomcat4
>
> Gave me nothing!

% grep temp /etc/init.d/tomcat4
        mkdir -p "$CATALINA_HOME/work/_temp"
            "$CATALINA_HOME/temp" || true