Switch default web node from mire to navajos
[hcoop/domtool2.git] / configDefault / apache.csg
CommitLineData
8a7c40fa
AC
1signature APACHE_CONFIG = sig
2
3 val reload : string
8e965b2d
AC
4 val down : string
5 val undown : string
c17d0537 6 val fixperms : string
8a7c40fa 7
55d4a268
AC
8 val reload1 : string
9 val down1 : string
10 val undown1 : string
c17d0537 11 val fixperms1 : string
55d4a268 12
8a7c40fa
AC
13 val confDir : string
14
f8ef6c20
AC
15 val webNodes_all : (string * ConfigTypes.apache_info) list
16 val webNodes_admin : (string * ConfigTypes.apache_info) list
60695e99 17 val webNodes_default : string list
8a7c40fa 18
e95a129e 19 val proxyTargets : string list
291eacbf
CE
20 (* Specifically exempted URIs for proxying *)
21 val proxyHosts : string list
22 (* Hosts users' may run mod_proxied servers *)
e95a129e 23
de7fde3d
AC
24 val public_html : string
25
7d6cc0ec 26 val logDirOf : bool -> string -> string
f086616f 27 val realLogDirOf : string -> string
31b50af0 28 val backupLogDirOf : bool -> string
409542d7 29
e7482df3
AC
30 val defaultPhpVersion : int
31
563e7792
AC
32 val waklogUserFile : string
33
8a7c40fa 34end