X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/8b84db5b0c03c7c635a4d73060f444d2ef53c757..6e62228d09c5067f798b356b88b0c53190f75729:/src/slave.sml

diff --git a/src/slave.sml b/src/slave.sml
index b1303b8..fb336ae 100644
--- a/src/slave.sml
+++ b/src/slave.sml
@@ -71,6 +71,15 @@ fun shellF (ss, msg) =
 	    ErrorMsg.error NONE (msg s)
     end
 
+fun hostname () =
+    let
+	val inf = TextIO.openIn "/etc/hostname"
+    in
+	case TextIO.inputLine inf of
+	    NONE => (TextIO.closeIn inf; raise Fail "No line in /etc/hostname")
+	  | SOME line => (TextIO.closeIn inf; String.substring (line, 0, size line - 1))
+    end
+
 fun concatTo p fname =
     let
 	fun visitDir dname =
@@ -98,7 +107,7 @@ fun concatTo p fname =
 	    end
     in
 	TextIO.closeOut (TextIO.openOut fname);
-	visitDir Config.resultRoot
+	visitDir (OS.Path.joinDirFile {dir = Config.resultRoot, file = hostname ()})
     end
 
 fun enumerateTo p sep fname =
@@ -141,7 +150,7 @@ fun enumerateTo p sep fname =
 		loop ()
 	    end
     in
-	visitDir Config.resultRoot;
+	visitDir (OS.Path.joinDirFile {dir = Config.resultRoot, file = hostname ()});
 	TextIO.closeOut outf
     end