| Re: [jetty-dev] configure.dtd location |
Jesse, I think that is a good location. Note we need to change the text as well, so I suggest that the config should not be: <!DOCTYPE Configure PUBLIC "-//Jetty//Configure//EN" "http://www.eclipse.org/jetty/configure.dtd";> I've updated all the configs I can find in the jetty-7 tree. David, can you make sure your conversion tool handles this DTD as well. cheers Jesse McConnell wrote:
I am seeing a lot of http://jetty.eclipse.org/configure.dtd definitions...we don't have that location afaik I have been switching them to http://www.eclipse.org/jetty/configure.dtd where we do have a configure.dtd file that I placed there a while back... open to discussing a better solution, just that the top one results in lots of xml validation errors which eclipse loves to grip about.. jesse -- jesse mcconnell jesse.mcconnell@xxxxxxxxx _______________________________________________ jetty-dev mailing list jetty-dev@xxxxxxxxxxx https://dev.eclipse.org/mailman/listinfo/jetty-dev