# HG changeset patch
# User Florian Pose <fp@igh-essen.com>
# Date 1215417547 0
# Node ID af0b187de6efdb444edc7da0c660b2fda4a81bfc
# Parent  eb8d16507d8833edff4251385c957d0fb31e1891
Show domain data only if verbose.

diff -r eb8d16507d88 -r af0b187de6ef tools/Master.cpp
--- a/tools/Master.cpp	Mon Jul 07 07:55:41 2008 +0000
+++ b/tools/Master.cpp	Mon Jul 07 07:59:07 2008 +0000
@@ -1202,7 +1202,7 @@
 		<< domain.working_counter << "/"
         << domain.expected_working_counter << endl;
 
-    if (!domain.data_size)
+    if (!domain.data_size || verbosity != Verbose)
         return;
 
     processData = new unsigned char[domain.data_size];