jri_fetching is a bit special

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 341d8e5..6ba23ea 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;
             }