On Thu, May 14, 2009 at 3:52 PM, André Warnier <a...@ice-sa.com> wrote:

> Now just as an idea : leaving everything as it is, apparently when you
> download those pages via wget, you get them named as *.jsp, but they are
> otherwise ok, yes ?

No, because if you develop under a .jsp suffix, all your links point to
*.jsp pages. So you would have to rename *and* change all internal
links -- every time you make a change and have to re-fetch.

OTOH, it's a small *one-time* change to your web.xml, so why do
anything else?

-- 
Hassan Schroeder ------------------------ hassan.schroe...@gmail.com

---------------------------------------------------------------------
To unsubscribe, e-mail: users-unsubscr...@tomcat.apache.org
For additional commands, e-mail: users-h...@tomcat.apache.org

Reply via email to