default namespace r = "http://caucho.com/ns/resin"
namespace local = ""
namespace l = ""
include "../webapp/resin-web-xml.rnc"
start = resin | l_resin
l_resin = element l:caucho.com {
resin_any
}
access-log = element access-log {
r_resin-type?
& r_log-Content
& (attribute format { string } | element format { string })?
& (attribute archive-format { string } | element archive-format { string })?
& r_init?
}
cache = element cache {
(attribute path { r_path } | element path { r_path })?
& (attribute enable { r_boolean } | element enable { r_boolean })?
& (attribute entries { r_int } | element entries { r_int })?
& (attribute memory-size { r_int } | element memory-size { r_int })?
& (attribute disk-size { r_int } | element disk-size { r_int })?
}
host = element host {
(attribute id { string }
| attribute regexp { string }
| element regexp { string })?,
(attribute host-name { string } | element host-name { string })?,
(attribute secure-host-name { string }
| element secure-host-name { string })?,
(attribute host-alias { string } | element host-alias { string })*,
(attribute root-directory { string } | element root-directory { string })?,
(attribute document-directory { string }
| element document-directory { string })?,
r_host-Content
}
r_host-Content =
class-loader?,
(resin_env
& access-log?
& r_error-page*
& r_web-app-deploy*
& r_ear-default*
& r_ear-deploy*
& r_web-app-default*),
rc_web-app*
host-default = element host-default {
r_host-Content
}
http = element http {
(attribute id { string }
| attribute server-id { string }
| element server-id { string })?
& (attribute host { string } | element host { string })?
& (r_openssl | jsse-ssl)?
& (attribute port { string } | element port { string })
& (attribute tcp-no-delay { string } | element tcp-no-delay { string })?
& (attribute virtual-host { string } | element virtual-host { string })?
}
r_min-free-memory =
attribute min-free-memory { string }
| element min-free-memory { string }
r_ignore-client-disconnect =
attribute ignore-client-disconnect { string }
| element ignore-client-disconnect { string }
r_ping = element ping {
resin_any*
}
port = element port {
(attribute id { string }
| attribute server-id { string }
| element server-id { string })?
& (attribute port { string } | element port { string })
& (attribute host { string } | element host { string })?
& (attribute tcp-no-delay { string } | element tcp-no-delay { string })?
& (r_openssl | jsse-ssl)?
& (attribute index { string } | element index { string })?
& (attribute group { string } | element group { string })?
& (attribute backup { string } | element backup { string })?
& protocol
}
protocol =
attribute protocol { string }
| element protocol { string }
| element protocol-factory {
r_resin-type,
resin_any*
}
resin = element resin {
class-loader?,
(resin_env
& (attribute user-name { string } | element user-name { string })?
& (attribute group-name { string } | element group-name { string })?
& (attribute security-provider { string }
| element security-provider { string })*
& (attribute security-manager { string }
| element security-manager { string })*
& server*)
}
server = element server {
(attribute root-directory { string } | element root-directory { string })?,
class-loader?,
(resin_env
& access-log?
& cache?
& r_ear-default*
& http*
& host-default*
& r_ignore-client-disconnect?
& r_min-free-memory?
& r_ping*
& port*
& session-cookie?
& session-url-prefix?
& r_thread-pool?
& url-character-encoding?
& r_web-app-default*
& host*)
}
session-cookie =
attribute session-cookie { string }
| element session-cookie { string }
session-url-prefix =
attribute alternate-session-url-prefix { string }
| element alternate-session-url-prefix { string }
| attribute session-url-prefix { string }
| element session-url-prefix { string }
r_spare-thread-max =
attribute spare-thread-max { string }
| element spare-thread-max { string }
r_spare-thread-min =
attribute spare-thread-min { string }
| element spare-thread-min { string }
r_thread-max =
attribute thread-max { string }
| element thread-max { string }
r_thread-pool = element thread-pool {
r_thread-max?
& r_spare-thread-max?
& r_spare-thread-min?
}
url-character-encoding =
attribute url-character-encoding { string }
| element url-character-encoding { string }
r_web-app-default = element web-app-default {
r_web-app-Content
}
rc_web-app = element web-app {
(attribute id { string }
| attribute url-prefix { string } | element url-prefix { string }
| attribute url-regexp { string } | element url-regexp { string }),
(attribute document-directory { r_path }
| element document-directory { r_path })?,
r_web-app-Content
}
|
