Use a label formatter for prettier histograms.

diff --git a/executors.py b/executors.py
index 47b4a89a88d693d535ed2e036c6288829505a005..28507b0e8a547e9d1edc615daa5de7945edb457d 100644 (file)
--- a/executors.py
+++ b/executors.py
@@ -158,7 +158,7 @@ class ThreadExecutor(BaseExecutor):
     def shutdown(self, wait=True) -> None:
         if not self.already_shutdown:
             logger.debug(f'Shutting down threadpool executor {self.title}')
-            print(self.histogram)
+            print(self.histogram.__repr__(label_formatter='%d'))
             self._thread_pool_executor.shutdown(wait)
             self.already_shutdown = True
 
@@ -201,7 +201,7 @@ class ProcessExecutor(BaseExecutor):
         if not self.already_shutdown:
             logger.debug(f'Shutting down processpool executor {self.title}')
             self._process_executor.shutdown(wait)
-            print(self.histogram)
+            print(self.histogram.__repr__(label_formatter='%d'))
             self.already_shutdown = True
 
     def __getstate__(self):
@@ -1113,7 +1113,7 @@ class RemoteExecutor(BaseExecutor):
             self.heartbeat_stop_event.set()
             self.heartbeat_thread.join()
             self._helper_executor.shutdown(wait)
-            print(self.histogram)
+            print(self.histogram.__repr__(label_formatter='%d'))
             self.already_shutdown = True