WEB SITE MAINTAINERS: please remove /jboss.dtd and /jaws.dtd from
the site (since someone has apparently moved them to /documentation) and
sync the /documentation directory of "newsite" which has the correct DTDs.
In fact, I thought you synced the whole site the other day so I'm a little
confused...
Milan: You can get the correct DTD from CVS under
newsite/documentation/ and once the web site is updated it will be under
www.jboss.org/documentation/
Aaron
On Wed, 22 Nov 2000, Milan Madzia wrote:
> Hi,
> I have used jboss.dtd from web site, to check my own jboss.xml.
> I guess there are more errors. Please has somone right jboss.dtd ?
> mino
>
> What have I changed :
> 232c232
> < <--
> ---
> > <!--
> 269c269
> < <!ELEMENT resource-manager (res-name, (res-jndi-name | res-url)>
> ---
> > <!ELEMENT resource-manager (res-name, (res-jndi-name | res-url))>
> 460,461c460,461
> < <!ELEMENT container-cache-conf>
> <
> ---
> > <!ELEMENT container-cache-conf (cache-policy?)>
> > <!ELEMENT cache-policy (#PCDATA)>
> 476c476
> < <!ELEMENT container-pool-conf (MaximumSize)>
> ---
> > <!ELEMENT container-pool-conf (MaximumSize,MinimumSize)>
> 488a489
> > <!ELEMENT MinimumSize (#PCDATA)>
>
>
> --
> --------------------------------------------------------------
> To subscribe: [EMAIL PROTECTED]
> To unsubscribe: [EMAIL PROTECTED]
> Problems?: [EMAIL PROTECTED]
>
--
--------------------------------------------------------------
To subscribe: [EMAIL PROTECTED]
To unsubscribe: [EMAIL PROTECTED]
Problems?: [EMAIL PROTECTED]
