diff options
Diffstat (limited to 'brep/options.cli')
-rw-r--r-- | brep/options.cli | 25 |
1 files changed, 17 insertions, 8 deletions
diff --git a/brep/options.cli b/brep/options.cli index f3d26d0..bcb335e 100644 --- a/brep/options.cli +++ b/brep/options.cli @@ -54,15 +54,16 @@ namespace brep string db-name = "brep" { "<name>", - "Database name. If not specified, then '\cb{brep}' is used by default." + "Database name. If not specified, then '\cb{brep}' is used by + default." } string db-host { "<host>", - "Database host name, address, or socket. If not specified, then connect - to \cb{localhost} using the operating system-default mechanism - (Unix-domain socket, etc)." + "Database host name, address, or socket. If not specified, then + connect to \cb{localhost} using the operating system-default + mechanism (Unix-domain socket, etc)." } uint16_t db-port = 0 @@ -70,6 +71,14 @@ namespace brep "<port>", "Database port number. If not specified, the default port is used." } + + size_t db-retry = 10 + { + "<num>", + "The maximum number of times to retry database transactions in the + face of recoverable failures (deadlock, loss of connection, etc). The + default is 10." + } }; class page @@ -84,10 +93,10 @@ namespace brep vector<page_menu> menu; { "<label=link>", - "Web page menu. Each entry is displayed in the page header in the order - specified and aligned to the right edge. A link target that starts - with '\cb{/}' or contains '\cb{:}' is used as is. Otherwise, it is - prefixed with the repository web interface root." + "Web page menu. Each entry is displayed in the page header in the + order specified and aligned to the right edge. A link target that + starts with '\cb{/}' or contains '\cb{:}' is used as is. Otherwise, + it is prefixed with the repository web interface root." } }; |