diff options
| author | Cedric Nugteren <web@cedricnugteren.nl> | 2017-11-02 21:19:18 +0100 |
|---|---|---|
| committer | Cedric Nugteren <web@cedricnugteren.nl> | 2017-11-02 21:19:18 +0100 |
| commit | 73272ab97dbd5abe757f6558c9b89665c5ac99d0 (patch) | |
| tree | 5f31b9d5ab55c4065b792300392b096a6f4f139e /scripts/database | |
| parent | 5c90577dfd365acde14ed6a7e99aa17cf4c6f6e4 (diff) | |
Fixed a bug in database compression/decompression
Diffstat (limited to 'scripts/database')
| -rw-r--r-- | scripts/database/database/io.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/database/database/io.py b/scripts/database/database/io.py index 722658d8..15a39cc1 100644 --- a/scripts/database/database/io.py +++ b/scripts/database/database/io.py @@ -65,7 +65,7 @@ def decompress_database(database): for result in section["results"]: parameters = {} for name, value in zip(section["parameter_names"], result[0].split(",")): - parameters[name] = value + parameters[name] = int(value) new_result = { "parameters": parameters, "time": result[1] |