From: Adam Chlipala Date: Sun, 16 Dec 2007 23:11:41 +0000 (+0000) Subject: Allow ~ in Apache locations X-Git-Tag: release_2010-11-19~74 X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/commitdiff_plain/666ed6742b4d1431e46e396209e4b3ddcc0321c4 Allow ~ in Apache locations --- diff --git a/src/plugins/apache.sml b/src/plugins/apache.sml index 11b4ab3..300ffa4 100644 --- a/src/plugins/apache.sml +++ b/src/plugins/apache.sml @@ -96,7 +96,8 @@ fun validLocation s = orelse ch = #"-" orelse ch = #"_" orelse ch = #"." - orelse ch = #"/") s + orelse ch = #"/" + orelse ch = #"~") s val _ = Env.type_one "location" Env.string