etc/options
changeset 79886 7ae25372ab04
parent 79883 6fa259b24deb
child 79894 3acbfeec4a95
--- a/etc/options	Wed Mar 13 16:14:23 2024 +0100
+++ b/etc/options	Wed Mar 13 17:36:35 2024 +0100
@@ -204,8 +204,11 @@
 option build_delay : real = 0.2
   -- "delay build process main loop (local)"
 
-option build_cluster_delay : real = 1.0
-  -- "delay build process main loop (cluster)"
+option build_delay_master : real = 1.0
+  -- "delay build process main loop (cluster master)"
+
+option build_delay_worker : real = 0.5
+  -- "delay build process main loop (cluster worker)"
 
 option build_cluster_expire : int = 50
   -- "enforce database synchronization after given number of delay loops"