From: Adam Chlipala Date: Sun, 27 May 2007 21:56:21 +0000 (+0000) Subject: rewriteBase X-Git-Tag: release_2010-11-19~199 X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/commitdiff_plain/94b7b11acaf25eadda183ff48cf2cf497e8aef58 rewriteBase --- diff --git a/lib/easy_domain.dtl b/lib/easy_domain.dtl index 585ebf1..925802d 100644 --- a/lib/easy_domain.dtl +++ b/lib/easy_domain.dtl @@ -21,8 +21,8 @@ val dom = \ d : (your_domain) -> \\ config : Domain -> domain d with - dns (dnsNS "deleuze.hcoop.net"); - dns (dnsNS "mire.hcoop.net"); + dns (dnsNS "ns1.hcoop.net"); + dns (dnsNS "ns3.hcoop.net"); dns (dnsDefaultA (ip_of_node default_node)); diff --git a/lib/mod_rewrite.dtl b/lib/mod_rewrite.dtl index 9a6795a..877e1c4 100644 --- a/lib/mod_rewrite.dtl +++ b/lib/mod_rewrite.dtl @@ -50,10 +50,14 @@ extern val rewriteRule : no_spaces -> no_spaces -> [mod_rewrite_flag] -> [^Vhost {{See Apache documentation for RewriteRule.}} -extern val rewriteCond: no_spaces -> no_spaces -> [mod_rewrite_cond_flag] -> [^Vhost]; +extern val rewriteCond : no_spaces -> no_spaces -> [mod_rewrite_cond_flag] -> [^Vhost]; {{See Apache documentation for RewriteCond.}} +extern val rewriteBase : no_spaces -> [^Vhost]; +{{See Apache + documentation for RewriteBase.}} + extern type proxy_port; {{A port number above 1024}} diff --git a/src/plugins/apache.sml b/src/plugins/apache.sml index 4c60d7a..4a399e8 100644 --- a/src/plugins/apache.sml +++ b/src/plugins/apache.sml @@ -570,6 +570,14 @@ val () = Env.action_three "rewriteCond" write "]"); write "\n")) +val () = Env.action_one "rewriteBase" + ("prefix", Env.string) + (fn prefix => + (checkRewrite (); + write "\tRewriteBase\t"; + write prefix; + write "\n")) + val () = Env.action_one "rewriteLogLevel" ("level", Env.int) (fn level =>