From 4f9c5b51c146b0d87a975157d1e90ba316470326 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 17 Nov 2007 22:12:00 +0000 Subject: [PATCH] Make deletion checking work right; add mailmanHcoop --- lib/hcoop.dtl | 3 +++ src/domain.sml | 19 +++++++++++-------- 2 files changed, 14 insertions(+), 8 deletions(-) diff --git a/lib/hcoop.dtl b/lib/hcoop.dtl index d9fe950..755949d 100644 --- a/lib/hcoop.dtl +++ b/lib/hcoop.dtl @@ -6,3 +6,6 @@ extern type homedir_path; 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.}} diff --git a/src/domain.sml b/src/domain.sml index ebd7a2b..e0a3520 100644 --- a/src/domain.sml +++ b/src/domain.sml @@ -431,7 +431,7 @@ fun findDiffs (prefixes, site, dom, acts) = 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 @@ -659,13 +659,16 @@ fun handleSite (site, files) = 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 -- 2.20.1