diff options
Diffstat (limited to 'scripts')
-rw-r--r-- | scripts/configurations.py | 6 | ||||
-rw-r--r-- | scripts/database.py | 8 | ||||
-rw-r--r-- | scripts/databaseinit.sql | 1 |
3 files changed, 8 insertions, 7 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: diff --git a/scripts/database.py b/scripts/database.py index 3db66fe..16556a8 100644 --- a/scripts/database.py +++ b/scripts/database.py @@ -78,17 +78,17 @@ class database: ps(ds, cm) return self.check_linuxgit() - def add_configuration(self, hash, cfile): + def add_configuration(self, hash, cfile, generator): "Add configuration to database." ps = self.db.prepare("""INSERT INTO configurations - (hash, cfile, gtime, toolgit, linuxgit) + (hash, cfile, gtime, toolgit, linuxgit, generator) VALUES - ($1, $2, $3, $4, $5); + ($1, $2, $3, $4, $5, $6); """) gt = self.check_toolsgit() lgt = self.check_linuxgit() tm = datetime.datetime.now() - ps(hash, cfile, tm, gt, lgt) + ps(hash, cfile, tm, gt, lgt, generator) def get_configration(self, hash): "Return configration id for inserted hash." diff --git a/scripts/databaseinit.sql b/scripts/databaseinit.sql index fb765ca..1e34c75 100644 --- a/scripts/databaseinit.sql +++ b/scripts/databaseinit.sql @@ -16,6 +16,7 @@ CREATE TABLE linuxgit ( CREATE TABLE configurations ( id BIGSERIAL PRIMARY KEY, -- Id hash char(32) NOT NULL, -- Hash of configuration + generator TEXT NOT NULL, -- Text identificator of configure generation method cfile TEXT NOT NULL, -- File path with configuration gtime timestamp NOT NULL, -- Time and date of generation linuxgit BIGINT REFERENCES linuxgit (id), -- Reference to git version of Linux |