--- a/etc/options Wed Jul 19 10:42:40 2023 +0200
+++ b/etc/options Wed Jul 19 10:56:19 2023 +0200
@@ -390,7 +390,7 @@
option build_database_ssh_host : string = "" for connection
option build_database_ssh_user : string = "" for connection
option build_database_ssh_port : int = 0 for connection
-option build_database_synchronous_commit : string = "off" for connection
+option build_database_synchronous_commit : string = "off" (standard "on") for connection
-- "see https://www.postgresql.org/docs/current/runtime-config-wal.html#GUC-SYNCHRONOUS-COMMIT"
@@ -406,7 +406,7 @@
option build_log_ssh_port : int = 0 for connection
option build_log_history : int = 30 -- "length of relevant history (in days)"
option build_log_transaction_size : int = 1 -- "number of log files for each db update"
-option build_log_database_synchronous_commit : string = "off" for connection
+option build_log_database_synchronous_commit : string = "off" (standard "on") for connection
-- "see https://www.postgresql.org/docs/current/runtime-config-wal.html#GUC-SYNCHRONOUS-COMMIT"