apache: add php 7.2 support

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

diff --git a/configDefault/apache.cfg b/configDefault/apache.cfg
index e55ca99..7cb48f5 100644 (file)
--- a/configDefault/apache.cfg
+++ b/configDefault/apache.cfg
@@ -20,7 +20,7 @@ val webNodes_admin = [("minsky", {version = APACHE_2, auth = MOD_WAKLOG})]
 val proxyTargets = ["http://hcoop.net/cgi-bin/mailman",
                    "http://hcoop.net/pipermail"]
 
-val proxyHosts = ["bog", "marsh"]
+val proxyHosts = ["marsh"]
 
 val public_html = "public_html"
 
@@ -74,7 +74,7 @@ fun fastCgiWrapperOf user =
                       "-wrapper-wrapper"]
 
 (* FIXME: hcoop reference *)
-val phpFastCgiWrapper = "/afs/hcoop.net/common/bin/php5-fcgi-wrapper"
+fun phpFastCgiWrapper version = "/afs/hcoop.net/common/bin/php" ^ Int.toString version ^ "-fcgi-wrapper"
 
 val waklogUserFile = ConfigCore.localRoot ^ "/waklog.conf"