apache: remove php5-cgi support, always generate php config
[hcoop/domtool2.git] / configDefault / apache.csg
index 0e827e7..451ab40 100644 (file)
@@ -14,13 +14,21 @@ signature APACHE_CONFIG = sig
 
     val        webNodes_all : (string * ConfigTypes.apache_info) list
     val webNodes_admin : (string * ConfigTypes.apache_info) list
-    val webNodes_default : string list
 
     val proxyTargets : string list
+    (* Specifically exempted URIs for proxying *)
+    val proxyHosts : string list
+    (* Hosts users' may run mod_proxied servers *)
 
     val        public_html : string
 
     val logDirOf : bool -> string -> string
+    val realLogDirOf : string -> string
     val backupLogDirOf : bool -> string
+    val fastCgiWrapperOf : string -> string
+
+    val phpFastCgiWrapper : string
+
+    val waklogUserFile : string
 
 end