From e1c9cde9a566d057824c2024caf36c3a9b2fc639 Mon Sep 17 00:00:00 2001 From: Ralph Bean Date: Fri, 15 Jul 2016 23:51:28 -0400 Subject: [PATCH] Fix to config.polling_interval. --- rida/config.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/rida/config.py b/rida/config.py index d643a744..3386d8cd 100644 --- a/rida/config.py +++ b/rida/config.py @@ -64,6 +64,7 @@ def from_file(filename=None): conf.db = default.get("db") conf.system = default.get("system") conf.messaging = default.get("messaging") + conf.polling_interval = int(default.get("polling_interval")) conf.pdc_url = default.get("pdc_url") conf.pdc_insecure = default.get("pdc_insecure") conf.pdc_develop = default.get("pdc_develop") @@ -329,4 +330,3 @@ class Config(object): def log_level(self, s): level = str(s).lower() self._log_level = logger.str_to_log_level(level) -