From 38971ee6cddd6f7a18b9dcfb050c8c5688f04bdf Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Fri, 23 May 2008 15:19:26 +0000 Subject: [PATCH 1/1] Expand allowed set of proxy_targets --- src/plugins/apache.sml | 20 +++++++++++++------- 1 file changed, 13 insertions(+), 7 deletions(-) diff --git a/src/plugins/apache.sml b/src/plugins/apache.sml index 2d384a9..e2f70d3 100644 --- a/src/plugins/apache.sml +++ b/src/plugins/apache.sml @@ -68,13 +68,19 @@ val _ = Env.type_one "proxy_target" fun default () = List.exists (fn s' => s = s') Config.Apache.proxyTargets in case String.fields (fn ch => ch = #":") s of - ["http", "//localhost", rest] => - (case String.fields (fn ch => ch = #"/") rest of - port :: _ => - (case Int.fromString port of - NONE => default () - | SOME n => n > 1024 orelse default ()) - | _ => default ()) + "http" :: "//localhost" :: 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 () + end | _ => default () end) -- 2.20.1