equal
deleted
inserted
replaced
388 option build_database_host : string = "" for connection |
388 option build_database_host : string = "" for connection |
389 option build_database_port : int = 0 for connection |
389 option build_database_port : int = 0 for connection |
390 option build_database_ssh_host : string = "" for connection |
390 option build_database_ssh_host : string = "" for connection |
391 option build_database_ssh_user : string = "" for connection |
391 option build_database_ssh_user : string = "" for connection |
392 option build_database_ssh_port : int = 0 for connection |
392 option build_database_ssh_port : int = 0 for connection |
|
393 option build_database_synchronous_commit : string = "off" for connection |
|
394 -- "see https://www.postgresql.org/docs/current/runtime-config-wal.html#GUC-SYNCHRONOUS-COMMIT" |
393 |
395 |
394 |
396 |
395 section "Build Log Database" |
397 section "Build Log Database" |
396 |
398 |
397 option build_log_database_user : string = "" for connection |
399 option build_log_database_user : string = "" for connection |
402 option build_log_ssh_host : string = "" for connection |
404 option build_log_ssh_host : string = "" for connection |
403 option build_log_ssh_user : string = "" for connection |
405 option build_log_ssh_user : string = "" for connection |
404 option build_log_ssh_port : int = 0 for connection |
406 option build_log_ssh_port : int = 0 for connection |
405 option build_log_history : int = 30 -- "length of relevant history (in days)" |
407 option build_log_history : int = 30 -- "length of relevant history (in days)" |
406 option build_log_transaction_size : int = 1 -- "number of log files for each db update" |
408 option build_log_transaction_size : int = 1 -- "number of log files for each db update" |
|
409 option build_log_database_synchronous_commit : string = "off" for connection |
|
410 -- "see https://www.postgresql.org/docs/current/runtime-config-wal.html#GUC-SYNCHRONOUS-COMMIT" |
407 |
411 |
408 |
412 |
409 section "Isabelle/Scala/ML system channel" |
413 section "Isabelle/Scala/ML system channel" |
410 |
414 |
411 option system_channel_address : string = "" for connection |
415 option system_channel_address : string = "" for connection |