# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1453575961 -3600
# Node ID a123e881f9e5c215442035d55c384d6af216a73c
# Parent  39545dc527a17a923c88f718636be243ab0b9ba2
core (config): _dict values are now handled with json syntax

diff -r 39545dc527a1 -r a123e881f9e5 src/tools/config.py
--- a/src/tools/config.py	Sat Jan 23 20:04:28 2016 +0100
+++ b/src/tools/config.py	Sat Jan 23 20:06:01 2016 +0100
@@ -30,6 +30,7 @@
 from xdg import BaseDirectory
 import os
 import csv
+import json
 
 
 def fixConfigOption(section, option, value, silent=True):
@@ -94,6 +95,7 @@
     elif name.endswith('_list'):
         value = csv.reader([value], delimiter=',', quotechar='"', skipinitialspace=True).next()
     elif name.endswith('_dict'):
-        value = dict(csv.reader([item], delimiter=':', quotechar='"', skipinitialspace=True).next()
-                     for item in csv.reader([value], delimiter=',', quotechar='"', skipinitialspace=True).next())
+        value = json.loads(value)
+        if not isinstance(value, dict):
+            raise ValueError(u"{name} value is not a dict: {value}".format(name=name, value=value))
     return value