DO NOT REPLY TO THIS EMAIL, BUT PLEASE POST YOUR BUG RELATED COMMENTS THROUGH THE WEB INTERFACE AVAILABLE AT <http://nagoya.apache.org/bugzilla/show_bug.cgi?id=6007>. ANY REPLY MADE TO THIS MESSAGE WILL NOT BE COLLECTED AND INSERTED IN THE BUG DATABASE.
http://nagoya.apache.org/bugzilla/show_bug.cgi?id=6007 JSP-servlet cache is not deleted ------- Additional Comments From [EMAIL PROTECTED] 2002-01-25 08:49 ------- other solution is: you re-generate a servlet from a jsp, when a jsp is newer than a servlet possible better solution is, the generated servlet will remember a date of the main JSP or dates of main JSP and included JSPs (but first possibility is enough). Than you will see, the main JSP is different -- To unsubscribe, e-mail: <mailto:[EMAIL PROTECTED]> For additional commands, e-mail: <mailto:[EMAIL PROTECTED]>