diff options
author | 2010-11-21 16:18:22 +0000 | |
---|---|---|
committer | 2010-11-21 16:18:22 +0000 | |
commit | bf94cd0ca65dad47406ddf66dd55c49fdccb0672 (patch) | |
tree | 1d1024cb8d72ca8af38aadfca916ed11c9a489ae | |
parent | dc38780cef302eebd42cd0cf45778a7659cd4577 (diff) | |
download | paludis-bf94cd0ca65dad47406ddf66dd55c49fdccb0672.tar.gz paludis-bf94cd0ca65dad47406ddf66dd55c49fdccb0672.tar.xz |
jri_fetching is a bit special
-rw-r--r-- | src/clients/cave/cmd_graph_jobs.cc | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/clients/cave/cmd_graph_jobs.cc b/src/clients/cave/cmd_graph_jobs.cc index 341d8e50d..6ba23eaed 100644 --- a/src/clients/cave/cmd_graph_jobs.cc +++ b/src/clients/cave/cmd_graph_jobs.cc @@ -174,15 +174,16 @@ namespace continue; output_stream << " job" << execute_job_list->number(j) << " -> job" << r->job_number() << " [ "; - if (r->required_if()[jri_fetching]) - output_stream << " color=cadetblue"; - else if (r->required_if()[jri_require_always]) + if (r->required_if()[jri_require_always]) output_stream << " color=crimson"; else if (r->required_if()[jri_require_for_satisfied]) output_stream << " color=indianred"; else if (r->required_if()[jri_require_for_independent]) output_stream << " color=lightpink"; + if (! r->required_if()[jri_fetching]) + output_stream << " style=dotted"; + output_stream << " ]" << endl; } |