From ba0d381130797401f95004e44debb13b21d3ba44 Mon Sep 17 00:00:00 2001 From: chrys87 Date: Thu, 15 Sep 2016 10:15:02 +0200 Subject: [PATCH] Update settingsManager.py --- src/fenrir-package/core/settingsManager.py | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/src/fenrir-package/core/settingsManager.py b/src/fenrir-package/core/settingsManager.py index abe0eb2b..8de19723 100644 --- a/src/fenrir-package/core/settingsManager.py +++ b/src/fenrir-package/core/settingsManager.py @@ -138,12 +138,11 @@ class settingsManager(): return environment def setFenrirKeys(self, environment, keys): + keys = keys.upper() keyList = keys.split(',') for key in keyList: - keyID = self.keyIDasString( key) - if keyID != '': - if not keyID in environment['input']['fenrirKey']: - environment['input']['fenrirKey'].append(keyID) + if not key in environment['input']['fenrirKey']: + environment['input']['fenrirKey'].append(key) return environment def keyIDasString(self, key):