tomcat-users mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From "Geiglein, Gary" <geigle...@peacetech.com>
Subject RE: DTD for server.xml??
Date Wed, 08 Jan 2003 17:18:53 GMT
It might be useful to have a reference DTD for server.xml included in the documentation for
tomcat as delivered by apache. But not actually reference it in the "DOCTYPE" declaration
in server.xml

This would give users a single place to reference for constructing a valid server.xml file
while not constraining an admin from extending the system.

-----Original Message-----
From: Tim Funk [mailto:funkman@joedog.org]
Sent: Wednesday, January 08, 2003 11:37 AM
To: Tomcat Users List
Subject: Re: DTD for server.xml??


It would be almost impossible to write a DTD for server.xml since an 
admin may inject custom classes (Listeners/Loggers).

To have a dtd, we would need to know every property which can be set for 
every class (which may be made known in server.xml) since tomcat uses 
reflection from Diegester.

-Tim

Turner, John wrote:
> Hello -
> 
> I notice that the top of web.xml has:
> 
> <?xml version="1.0" encoding="ISO-8859-1"?>
> <!DOCTYPE web-app
>      PUBLIC "-//Sun Microsystems, Inc.//DTD Web Application 2.3//EN"
>      "http://java.sun.com/dtd/web-app_2_3.dtd">
> 
> yet the top of server.xml has nothing.
> 
> I'm very new to XML, so forgive me if this is a lame or FA question, but is
> there a DTD for server.xml?  If so, why isn't it specified in server.xml,
> and what is the URL?  Is server.xml "real, official XML" or just
> "convenience" XML?
> 
> - John
> 
> ============================================
> John Turner
> jturner@aas.com | 248-488-3466
> Advertising Audit Service
> http://www.aas.com
> 
> 
> --
> To unsubscribe, e-mail:   <mailto:tomcat-user-unsubscribe@jakarta.apache.org>
> For additional commands, e-mail: <mailto:tomcat-user-help@jakarta.apache.org>
> 
> 
> 


--
To unsubscribe, e-mail:   <mailto:tomcat-user-unsubscribe@jakarta.apache.org>
For additional commands, e-mail: <mailto:tomcat-user-help@jakarta.apache.org>


--
To unsubscribe, e-mail:   <mailto:tomcat-user-unsubscribe@jakarta.apache.org>
For additional commands, e-mail: <mailto:tomcat-user-help@jakarta.apache.org>


Mime
View raw message