apache: remove php5-cgi support, always generate php config
[hcoop/domtool2.git] / configDefault / apache.csg
index 307a47a..451ab40 100644 (file)
@@ -1,15 +1,34 @@
 signature APACHE_CONFIG = sig
 
     val reload : string
+    val        down : string
+    val        undown : string
+    val fixperms : string
+
+    val reload1 : string
+    val        down1 : string
+    val        undown1 : string
+    val fixperms1 : string
 
     val confDir : string
 
-    val        webNodes_all : string list
-    val webNodes_admin : string list
-    val webNodes_default : string list
+    val        webNodes_all : (string * ConfigTypes.apache_info) list
+    val webNodes_admin : (string * ConfigTypes.apache_info) 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