--- a/etc/options Wed Jul 19 15:56:32 2023 +0200
+++ b/etc/options Wed Jul 19 16:04:59 2023 +0200
@@ -202,10 +202,10 @@
-- "slice size in MiB for ML heap stored within database"
option build_delay : real = 0.2
- -- "delay build process main loop"
+ -- "delay build process main loop (local)"
-option build_database_delay : real = 1.0
- -- "delay build process main loop (via central database)"
+option build_cluster_delay : real = 1.0
+ -- "delay build process main loop (cluster)"
section "Editor Session"