aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2017-04-20 11:51:45 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2017-04-20 11:51:45 +0200
commit7cde0aab8206a5d95091860a8c1114d625f5280a (patch)
tree819e714a95c16ab404b463ebe52329216c7aeb72
parentdbbc19b77dcf6ea828aabd64d7aa8cab9635aaf5 (diff)
Sketch rebuild semantics
-rw-r--r--brep/build4
-rw-r--r--etc/brep-module.conf13
2 files changed, 17 insertions, 0 deletions
diff --git a/brep/build b/brep/build
index 3d969db..adc52ff 100644
--- a/brep/build
+++ b/brep/build
@@ -118,6 +118,10 @@ namespace brep
//
timestamp_type timestamp;
+ // True if the package rebuild has been forced.
+ //
+ //bool forced;
+
// Present only if the state is 'tested'.
//
optional<result_status> status;
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