X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/8df2e702cf3e5ed9b8433585b357bbcd9f0d623e..ed9fda3a0e2edcf4ed546e0eb9ac128865538276:/src/slave.sml

diff --git a/src/slave.sml b/src/slave.sml
index 1521b73..d43a8fa 100644
--- a/src/slave.sml
+++ b/src/slave.sml
@@ -100,4 +100,48 @@ fun concatTo p fname =
 	visitDir Config.resultRoot
     end
 
+fun enumerateTo p sep fname =
+    let
+	val outf = TextIO.openOut fname
+
+	val first = ref true
+	val baseLen = length (String.fields (fn ch => ch = #"/") Config.resultRoot)
+
+	fun visitDir dname =
+	    let
+		val dir = Posix.FileSys.opendir dname
+
+		fun loop () =
+		    case Posix.FileSys.readdir dir of
+			NONE => Posix.FileSys.closedir dir
+		      | SOME fname' =>
+			let
+			    val path = OS.Path.joinDirFile {dir = dname, file = fname'}
+			in
+			    if Posix.FileSys.ST.isDir (Posix.FileSys.stat path) then
+				visitDir path
+			    else if p fname' then
+				let
+				    val toks = String.fields (fn ch => ch = #"/") dname
+				    val toks = List.drop (toks, baseLen)
+				    val dom = String.concatWith "." (rev toks)
+				in
+				    if !first then
+					first := false
+				    else
+					TextIO.output (outf, sep);
+				    TextIO.output (outf, dom)
+				end
+			    else
+				();
+			    loop ()
+			end
+	    in
+		loop ()
+	    end
+    in
+	visitDir Config.resultRoot;
+	TextIO.closeOut outf
+    end
+
 end