From 655eac236625e58de821178db30a037e6b6f40c5 Mon Sep 17 00:00:00 2001 From: Mike McLean Date: Jan 18 2012 19:22:35 +0000 Subject: failed_buildroot_lifetime is an integer option --- diff --git a/builder/kojid b/builder/kojid index 9fed758..0f20198 100755 --- a/builder/kojid +++ b/builder/kojid @@ -2917,7 +2917,7 @@ def get_options(): if config.has_section('kojid'): for name, value in config.items('kojid'): if name in ['sleeptime', 'maxjobs', 'minspace', 'retry_interval', - 'max_retries', 'offline_retry_interval']: + 'max_retries', 'offline_retry_interval', 'failed_buildroot_lifetime']: try: defaults[name] = int(value) except ValueError: