small performance improvemnt when using synchronize: polling reduced from 100ms to 50ms

2026-07-13 22:21:49 +02:00
parent 696cdfb556
commit fa064c1727
2 changed files with 2 additions and 2 deletions
@@ -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:
@@ -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):