development/thales/ocaml/script.ml

   1 (*   *)
   2
   3 let scriptfile = ref "";;
   4
   5
   6 let outlog = ref "/Users/thomashales/Dropbox/thacklog.hl";;
   7 let errlog = ref "/Users/thomashales/Dropbox/thackerrory.hl";;
   8 let sleep = ref (6);;
   9 let emsg = ref "/";;
  10 let msg = ref ".";;
  11 scriptfile;;
  12
  13 let doubleout fl s =
  14       let _ =       report s in
  15       let _ = Parse_ineq.output_filestring fl s in
  16         ();;
  17
  18 doubleout !errlog "err";;
  19 doubleout !outlog "ok";;
  20
  21 let rec loop () =
  22   let _ = try ( loadt (!scriptfile))
  23   with _ -> (doubleout (!errlog) (!emsg)) in
  24   let _ = Unix.sleep(!sleep) in
  25   let _ = doubleout (!outlog) (!msg) in
  26     loop();;
  27
  28
  29 loadt (!scriptfile);;
  30 loop();;
  31
  32
  33 Sys.command("date");;
  34