val proxyTargets = ["http://hcoop.net/cgi-bin/mailman",
"http://hcoop.net/pipermail"]
+val proxyHosts = ["localhost", (* deprecated! *)
+ "mire"]
+
val public_html = "public_html"
fun logDirOf version1 user =
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
fun default () = List.exists (fn s' => s = s') Config.Apache.proxyTargets
in
case String.fields (fn ch => ch = #":") s of
- "http" :: "//localhost" :: rest =>
+ "http" :: host :: rest =>
let
val rest = String.concatWith ":" rest
in
- CharVector.all (fn ch => Char.isPrint ch andalso not (Char.isSpace ch)
- andalso ch <> #"\"" andalso ch <> #"'") rest
- andalso case String.fields (fn ch => ch = #"/") rest of
- port :: _ =>
- (case Int.fromString port of
- NONE => default ()
- | SOME n => n > 1024 orelse default ())
- | _ => default ()
+ if List.exists (fn h' => host = h') (map (fn h => String.concat ["//", h]) Config.Apache.proxyHosts)
+ then
+ CharVector.all (fn ch => Char.isPrint ch andalso not (Char.isSpace ch)
+ andalso ch <> #"\"" andalso ch <> #"'") rest
+ andalso case String.fields (fn ch => ch = #"/") rest of
+ port :: _ =>
+ (case Int.fromString port of
+ NONE => default ()
+ | SOME n => n > 1024 orelse default ())
+ | _ => default ()
+ else
+ default ()
end
| _ => default ()
end)