diff --git a/pytools/log.py b/pytools/log.py index b6d40403b13f8ca28f4bb2ce6f8c702f7a176450..c4b3738487ac975d6875735c4b5c60042ad5f5d0 100644 --- a/pytools/log.py +++ b/pytools/log.py @@ -315,6 +315,11 @@ class LogManager(object): else: self.db_conn = None + if self.is_parallel: + self.set_constant("rank_count", self.mpi_comm.size) + else: + self.set_constant("rank_count", 1) + self.old_showwarning = None if capture_warnings: self.capture_warnings(True)