Hi Dale, Well the reason for double including it, is just that if you want to deploy it separately, you can run the servlets.jar in any Servlet engine, the Server.jar is just a convenience wrapper to start it without an existing servlet engine.
Chris Am 19.09.17, 18:30 schrieb "Dale LaBossiere" <dml.apa...@gmail.com>: Hi Chris, Recently I noted that the servlets.war wasn’t present in the distribution and you made the changes to add it. I just noticed that edgent-console-server.jar has it embedded in it under resources/servlets.war. So do we really need to separately include it in the distribution? I can undo the changes you made to include if that’s the appropriate thing to do. Sorry about that. — Dale