ChristopherSchultz commented on issue #256: Added extension point for custom delta requests URL: https://github.com/apache/tomcat/pull/256#issuecomment-595893950 I think this is the same as #240; I just haven't back-ported it. Can we discuss on #240 what your objections are? The alternative is for a user to re-implement 100% of e.g. DeltaManager just to change one aspect of it's behavior.
---------------------------------------------------------------- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. For queries about this service, please contact Infrastructure at: us...@infra.apache.org With regards, Apache Git Services --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org For additional commands, e-mail: dev-h...@tomcat.apache.org
