diff options
author | Alex AUVOLAT <alex.auvolat@ens.fr> | 2014-05-25 12:29:07 +0200 |
---|---|---|
committer | Alex AUVOLAT <alex.auvolat@ens.fr> | 2014-05-25 12:29:07 +0200 |
commit | 60ba54ffe01be85ec6f1d6948c1ca4b6db1cf165 (patch) | |
tree | c52b747b196e8183470efbe9ccb66779cb34b6c5 /src/manager.ml | |
parent | a3fc292095c9e29046c737c4164beab2faadc035 (diff) | |
download | SystemeReseaux-Projet-60ba54ffe01be85ec6f1d6948c1ca4b6db1cf165.tar.gz SystemeReseaux-Projet-60ba54ffe01be85ec6f1d6948c1ca4b6db1cf165.zip |
Add pretty colors.
Diffstat (limited to 'src/manager.ml')
-rw-r--r-- | src/manager.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/manager.ml b/src/manager.ml index 2e856fd..1e6a0df 100644 --- a/src/manager.ml +++ b/src/manager.ml @@ -265,7 +265,7 @@ let () = dup2 m2p_p stdin; dup2 p2m_p stdout; let args = Array.of_list - ([!program] @ + ([!program; "-col"; string_of_int (i+1)] @ (if i = 0 then ["-org"] else []) @ (if !dbg_out then ["-dbg"] else [])) in execv !program args |