diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2017-04-20 11:51:45 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2017-04-20 11:51:45 +0200 |
| commit | 7cde0aab8206a5d95091860a8c1114d625f5280a (patch) | |
| tree | 819e714a95c16ab404b463ebe52329216c7aeb72 /etc/brep-module.conf | |
| parent | dbbc19b77dcf6ea828aabd64d7aa8cab9635aaf5 (diff) | |
Sketch rebuild semantics
Diffstat (limited to 'etc/brep-module.conf')
| -rw-r--r-- | etc/brep-module.conf | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/etc/brep-module.conf b/etc/brep-module.conf index 1d9d56d..9967164 100644 --- a/etc/brep-module.conf +++ b/etc/brep-module.conf @@ -69,6 +69,19 @@ menu About=?about # # build-config + +# Time to wait before considering a package for a forced rebuild. Must be +# specified in seconds. Default is 10 minutes. +# +# build-forced-rebuild-timeout 600 + + +# Time to wait before considering a package for a normal rebuild. Must be +# specified in seconds. Default is 24 hours. +# +# build-normal-rebuild-timeout 86400 + + # The maximum size of the build task request manifest accepted. Note that the # HTTP POST request body is cached to retry database transactions in the face # of recoverable failures (deadlock, loss of connection, etc). Default is |