diff options
author | Karel Kočí <cynerd@email.cz> | 2015-07-28 21:56:56 +0200 |
---|---|---|
committer | Karel Kočí <cynerd@email.cz> | 2015-07-28 21:56:56 +0200 |
commit | 798da7f0a729c4c2d790b276e46b816bd53c8d47 (patch) | |
tree | 8222c0864b661306cf0078265a7756887ddced97 /scripts/configurations.py | |
parent | 3642eed625296d4ad3b3b3c46a90914d34ad148c (diff) | |
download | linux-conf-perf-798da7f0a729c4c2d790b276e46b816bd53c8d47.tar.gz linux-conf-perf-798da7f0a729c4c2d790b276e46b816bd53c8d47.tar.bz2 linux-conf-perf-798da7f0a729c4c2d790b276e46b816bd53c8d47.zip |
Add generator identifier to configuration in database
This identifier is for recognition what generator generated specified configuration as first.
Diffstat (limited to 'scripts/configurations.py')
-rw-r--r-- | scripts/configurations.py | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/scripts/configurations.py b/scripts/configurations.py index 313108a..5a04f38 100644 --- a/scripts/configurations.py +++ b/scripts/configurations.py @@ -143,7 +143,7 @@ def __calchash__(file): hsh = hashlib.md5(bytes(cstr, 'UTF-8')) return hsh.hexdigest() -def __register_conf__(con, conf_num): +def __register_conf__(con, conf_num, generator): dtb = database.database() # Solution to configuration wfile = __write_temp_config_file__(con, conf_num) @@ -158,7 +158,7 @@ def __register_conf__(con, conf_num): # TODO this might have to be tweaked raise Exception() shutil.move(wfile, filen) - dtb.add_configuration(hsh, hshf) + dtb.add_configuration(hsh, hshf, generator) def __generate_single__(var_num, conf_num): if os.path.isfile(sf(conf.single_generated_file)): @@ -173,7 +173,7 @@ def __generate_single__(var_num, conf_num): try: confs = __exec_sat__(tfile, ['-i', '0']) for con in confs: - __register_conf__(con, conf_num) + __register_conf__(con, conf_num, 'single-sat') except exceptions.NoSolution: pass finally: |