From fa064c1727abe6d84839a7397a2694a2bb9912c9 Mon Sep 17 00:00:00 2001 From: Markus Rosenstihl Date: Mon, 13 Jul 2026 22:21:49 +0200 Subject: [PATCH] small performance improvemnt when using synchronize: polling reduced from 100ms to 50ms --- src/damaris/gui/DamarisGUI.py | 2 +- src/damaris/gui/ResultReader.py | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/damaris/gui/DamarisGUI.py b/src/damaris/gui/DamarisGUI.py index 415528d..89ae3b8 100644 --- a/src/damaris/gui/DamarisGUI.py +++ b/src/damaris/gui/DamarisGUI.py @@ -4032,7 +4032,7 @@ class ScriptInterface: (self.back_driver.core_pid is None or self.back_driver.core_pid <= 0)): while gtk.events_pending(): gtk.main_iteration_do(False) - self.back_driver.quit_flag.wait( 0.1 ) + self.back_driver.quit_flag.wait( 0.05 ) if self.exp_handling: self.exp_handling.start( ) if self.res_handling: diff --git a/src/damaris/gui/ResultReader.py b/src/damaris/gui/ResultReader.py index a7ed868..4f2d884 100644 --- a/src/damaris/gui/ResultReader.py +++ b/src/damaris/gui/ResultReader.py @@ -534,7 +534,7 @@ class BlockingResultReader(ResultReader): def __init__(self, spool_dir=".", no=0, result_pattern="job.%09d.result", clear_jobs=False, clear_results=False): ResultReader.__init__(self, spool_dir, no, result_pattern, clear_jobs=clear_jobs, clear_results=clear_results) self.stop_no=None # end of job queue - self.poll_time=0.1 # sleep interval for polling results, <0 means no polling and stop + self.poll_time=0.05 # sleep interval for polling results, <0 means no polling and stop self.in_advance=0 def __iter__(self):