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
