| Index: cms/sources.py |
| diff --git a/cms/sources.py b/cms/sources.py |
| index f7ebfde68a00225fa8ab6c7f777cb37400873a91..50ac04484922e1d47b3132dad7ee23126ca4371b 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') |
| @@ -379,6 +389,7 @@ def create_source(path, cached=False): |
| source = FileSource(path) |
| config = source.read_config() |
| + print(source.read_file('settings.ini')[0]) |
|
Vasily Kuznetsov
2018/10/05 10:56:26
Oops.
Tudor Avram
2018/10/05 12:34:40
haha, that was from Thursday night :))
|
| try: |
| ap = config.get('paths', 'additional-paths').strip() |
| additional_paths = filter(None, ap.split()) |