Colorize Output[<id>]
This commit is contained in:
parent
0ba7299117
commit
6bb3f6a7b5
|
@ -279,7 +279,7 @@ module Scheduler = struct
|
||||||
match status with
|
match status with
|
||||||
| WEXITED 0 ->
|
| WEXITED 0 ->
|
||||||
if output <> "" then
|
if output <> "" then
|
||||||
Printf.eprintf "Output[%d]:\n%s%!" job.id output;
|
Format.eprintf "@{<kwd>Output@}[@{<id>%d@}]:\n%s%!" job.id output;
|
||||||
Ivar.fill job.job.ivar ()
|
Ivar.fill job.job.ivar ()
|
||||||
| WEXITED n ->
|
| WEXITED n ->
|
||||||
Format.eprintf "\n@{<kwd>Command@} [@{<id>%d@}] exited with code %d:\n\
|
Format.eprintf "\n@{<kwd>Command@} [@{<id>%d@}] exited with code %d:\n\
|
||||||
|
|
Loading…
Reference in New Issue