On Tue, Nov 29, 2022 at 6:29 PM James Nord <jamestn...@gmail.com> wrote:
> if you can not use tomcat or $container then Jenkins must not be a war, > which has a large overlap but is subtly different > Interesting…so if the basic Jenkins download were to physically switch format somehow, then it would no longer be subject to the Tomcat rule? Or would some practical benefit be lost by not using Tomcat? -- You received this message because you are subscribed to the Google Groups "Jenkins Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to jenkinsci-dev+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/CANfRfr1euH3OE1oaFxtnB30FAVUtuU-ng5hWzdSAzvWYHrTAQA%40mail.gmail.com.
