3 let scriptfile = ref "";;
6 let outlog = ref "/Users/thomashales/Dropbox/thacklog.hl";;
7 let errlog = ref "/Users/thomashales/Dropbox/thackerrory.hl";;
15 let _ = Parse_ineq.output_filestring fl s in
18 doubleout !errlog "err";;
19 doubleout !outlog "ok";;
22 let _ = try ( loadt (!scriptfile))
23 with _ -> (doubleout (!errlog) (!emsg)) in
24 let _ = Unix.sleep(!sleep) in
25 let _ = doubleout (!outlog) (!msg) in