From 94b7b11acaf25eadda183ff48cf2cf497e8aef58 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 27 May 2007 21:56:21 +0000 Subject: [PATCH] rewriteBase --- lib/easy_domain.dtl | 4 ++-- lib/mod_rewrite.dtl | 6 +++++- src/plugins/apache.sml | 8 ++++++++ 3 files changed, 15 insertions(+), 3 deletions(-) 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 => -- 2.20.1