Cron and FTP queries

[hcoop/domtool2.git] / src / slave.sml

diff --git a/src/slave.sml b/src/slave.sml
index 719b417..64613ed 100644 (file)
--- a/src/slave.sml
+++ b/src/slave.sml
@@ -181,4 +181,18 @@ fun writeList (fname, ls) =
        TextIO.closeOut outf
     end
 
+fun lineInFile fname line =
+    let
+       val inf = TextIO.openIn fname
+       val line' = line ^ "\n"
+
+       fun loop () =
+           case TextIO.inputLine inf of
+               NONE => false
+             | SOME line => line = line' orelse loop ()
+    in
+       loop ()
+       before TextIO.closeIn inf
+    end handle IO.Io _ => false
+
 end