extern val home : homedir_path -> your_path;
{{Shortcut to denote a subdirectory of your home directory}}
+val mailmanHcoop = mailmanWebHost "lists.hcoop.net";
+{{Configure your domain to have its Mailman mailing lists served on the web at
+ lists.hcoop.net.}}
loopReal acts
else
loopReal ((site, dom, realPath, Modify' {src = tmp, dst = real}) :: acts)
- else if List.exists (fn prefix => String.isPrefix prefix realPath) prefixes then
+ else if List.exists (fn prefix => String.isPrefix prefix real) prefixes then
loopReal ((site, dom, realPath, Delete' real) :: acts)
else
loopReal acts
val () = Env.registerPost (fn () =>
let
- val prefixes = List.map (fn dom =>
- let
- val pieces = String.tokens (fn ch => ch = #".") dom
- val path = String.concatWith "/" (rev pieces)
- in
- Config.resultRoot ^ "/" ^ path ^ "/"
- end) (!seenDomains)
+ val prefixes = List.concat
+ (List.map (fn dom =>
+ let
+ val pieces = String.tokens (fn ch => ch = #".") dom
+ val path = String.concatWith "/" (rev pieces)
+ in
+ List.map (fn node =>
+ Config.resultRoot ^ "/" ^ node ^ "/" ^ path ^ "/")
+ nodes
+ end) (!seenDomains))
val diffs = findAllDiffs prefixes