Lines Matching refs:tag
16 type 'a job = {tag : string, command : command, update : 'a * bool -> 'a}
22 tag : string,
51 fun from tag command update starttime lastevent out err
53 {tag = tag, command = command, update = update, starttime = starttime,
57 tag =
58 {tag = tag, command = command, update = update, starttime = starttime,
61 fun to f {tag, command, update, starttime, lastevent, out,
63 f tag command update starttime lastevent out err
101 fun wjkey ({tag,pid,...} : 'a working_job) = (pid,tag)
155 val {tag, command, update} = j
180 tag = tag,
199 val j :int job = {tag = s, command = simple_shell s, update = K 0}
244 fun p0 tag t msg killp =
245 (print (tag ^ "(" ^ Time.toString t ^ ") " ^ msg ^ "\n");
247 fun p tag t msg = p0 tag t msg NONE
250 Output((pid,tag), t, chan, s) =>
251 p tag t ("["^chan_name chan^"]: " ^ s)
252 | NothingSeen ((pid,tag), {delay,total_elapsed}) =>
253 p tag total_elapsed ("delayed " ^ Time.toString delay)
254 | Terminated((pid,tag), st, t) =>
255 p0 tag t ("exited " ^ (if st = W_EXITED then "OK" else "FAILED"))
257 | MonitorKilled((pid,tag), t) => p tag t "monitor-killed"
258 | EOF ((pid,tag), chan, t) =>
259 p tag t ("EOF on " ^ chan_name chan)
260 | StartJob (pid,tag) => p tag (Time.fromSeconds 0) "beginning"
418 NewJob ({tag = t, command = simple_shell c, update = upd}, l)