Found the information in the old JServ docs -- servlet aliases in JServ
and servlet mappings in Tomcat are one in the same.
Might be handy to have a tool to convert JServ servlet zones to something
Tomcat can deal with (like web.xml). Might even do it myself...
-- Brett
http://www.chapelperilous.net/~bmccoy/
---------------------------------------------------------------------------
Center meeting at 4pm in 2C-543.
---------------------------------------------------------------------
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, email: [EMAIL PROTECTED]
