19:00 znerd 

This port moved to www/jakarta-tomcat4.

22:01 znerd 

Upgrade to Jakarta Tomcat 4.0.3. The Jakarta Tomcat 3
branch has moved to www/jakarta-tomcat3.

PR:     31096, 32022

18:42 znerd 

Stopping the server from pkg-deinstall. Applying
replacements to server.xml. Bumped PORTREVISION.

20:06 znerd 

Cleaned things up. Made things working :-) Both the startup script   in
${PREFIX}/etc/rc.d and the control script in ${PREFIX}/bin have   been
refactored and now actually work very well.    

13:40 znerd 

Run when deinstalling Tomcat. It will stop Tomcat, if it is running.