JSON Config: Convert float to int (bug 1590)

If th
gpodder · Apr 29, 2012 · 8805b0d · 8805b0d
1 parent 8973c1e
commit 8805b0d
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/src/gpodder/jsonconfig.py b/src/gpodder/jsonconfig.py
@@ -164,6 +164,11 @@ def _merge_keys(self, merge_source):
                 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