aboutsummaryrefslogtreecommitdiff
path: root/param.ccl
diff options
context:
space:
mode:
Diffstat (limited to 'param.ccl')
-rw-r--r--param.ccl5
1 files changed, 5 insertions, 0 deletions
diff --git a/param.ccl b/param.ccl
index 4c26bde..41636c9 100644
--- a/param.ccl
+++ b/param.ccl
@@ -14,6 +14,11 @@ REAL update_interval "Update interval for the meta information (in seconds)" STE
0:* :: ""
} 600.0
+INT timeout "Timeout for sending meta information to a server (in seconds)" STEERABLE=always
+{
+ 1:* :: "a positive value"
+} 10
+
# Parameters for creating files containing the build and job ids