Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [jetty-dev] configure.dtd location

+1, I was wondering about changing the mortbay bit as well, good call

cheers
jesse

--
jesse mcconnell
jesse.mcconnell@xxxxxxxxx



On Tue, Apr 14, 2009 at 18:53, Greg Wilkins <gregw@xxxxxxxxxxx> wrote:
>
> 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
>
> _______________________________________________
> jetty-dev mailing list
> jetty-dev@xxxxxxxxxxx
> https://dev.eclipse.org/mailman/listinfo/jetty-dev
>


Back to the top