From 73ebce5c91fcbf3f334a0c29316e0c47cccf5531 Mon Sep 17 00:00:00 2001
From: Florent Le Coz <louiz@louiz.org>
Date: Tue, 29 Jan 2013 08:04:46 +0100
Subject: [PATCH] make the options in the config files case sensitive.

---
 src/config.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/config.py b/src/config.py
index abb39011..88ba38c9 100644
--- a/src/config.py
+++ b/src/config.py
@@ -25,6 +25,8 @@ class Config(RawConfigParser):
     def __init__(self, file_name):
         self.file_name = file_name
         RawConfigParser.__init__(self, None)
+        # make the options case sensitive
+        self.optionxform = str
         try:
             RawConfigParser.read(self, file_name, encoding='utf-8')
         except TypeError: # python < 3.2 sucks