From 8805b0dc9441a6032c883c77bf7149e2844380db Mon Sep 17 00:00:00 2001 From: Thomas Perl Date: Sun, 29 Apr 2012 18:08:44 +0200 Subject: [PATCH] JSON Config: Convert float to int (bug 1590) If th --- src/gpodder/jsonconfig.py | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/src/gpodder/jsonconfig.py b/src/gpodder/jsonconfig.py index 5e9ad0d6..419f63f9 100644 --- a/src/gpodder/jsonconfig.py +++ b/src/gpodder/jsonconfig.py @@ -164,6 +164,11 @@ class JsonConfig(object): elif isinstance(value, dict): # Recurse into sub-dictionaries work_queue.append((data[key], value)) + elif type(value) != type(data[key]): + # Type mismatch of current value and default + if type(value) == int and type(data[key]) == float: + # Convert float to int if default value is int + data[key] = int(data[key]) return added_new_key -- 2.11.4.GIT