Index: cms/sources.py |
diff --git a/cms/sources.py b/cms/sources.py |
index bee7ff6dcb5e1b52c83813ff079e8724aa82d6cb..c53246706d0f4419e8cee42add6c0f6341dca0f4 100644 |
--- a/cms/sources.py |
+++ b/cms/sources.py |
@@ -272,6 +272,16 @@ class FileSource(Source): |
do_list(self.get_path(subdir), '') |
return result |
+ def write_to_config(self, section, option, value): |
+ config = self.read_config() |
+ try: |
+ config.set(section, option, value) |
+ except ConfigParser.NoSectionError: |
+ config.add_section(section) |
+ config.set(section, option, value) |
+ with open(self.get_path('settings.ini'), 'w') as cnf: |
+ config.write(cnf) |
+ |
def get_cache_dir(self): |
return os.path.join(self._dir, 'cache') |