Remove spaces from dbtool mysql driver config

[hcoop/domtool2.git] / configDefault / apache.csg

diff --git a/configDefault/apache.csg b/configDefault/apache.csg
index 0e827e7..5fbbe61 100644 (file)
--- a/configDefault/apache.csg
+++ b/configDefault/apache.csg
@@ -17,10 +17,18 @@ signature APACHE_CONFIG = sig
     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 defaultPhpVersion : int
+
+    val waklogUserFile : string
+
 end