diff options
| author | Karel Kočí <cynerd@email.cz> | 2015-08-13 15:48:40 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2015-08-13 15:52:06 +0200 |
| commit | 72316e351df5159384d70faa708224ff2fcc8dd2 (patch) | |
| tree | c96115f0ec0bbdc83d21005aeef2c847e58a780c | |
| parent | 7c824b39e6f03fc0d459e07ea46d31335d87daec (diff) | |
| download | linux-conf-perf-72316e351df5159384d70faa708224ff2fcc8dd2.tar.gz linux-conf-perf-72316e351df5159384d70faa708224ff2fcc8dd2.tar.bz2 linux-conf-perf-72316e351df5159384d70faa708224ff2fcc8dd2.zip | |
Fix configuration generation missing file exception
If generating single throw NoSolution exception, randomly generated CNF
file is removed. But finally statement tries to remove it once again.
Solution is to not remove CNF file in exception handling, but only by
finally statement.
| -rw-r--r-- | scripts/configurations.py | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/scripts/configurations.py b/scripts/configurations.py index aef8a5f..3f2d15e 100644 --- a/scripts/configurations.py +++ b/scripts/configurations.py @@ -180,7 +180,6 @@ def __generate_single__(var_num, conf_num): for con in confs: __register_conf__(con, conf_num, 'single-sat') except exceptions.NoSolution: - os.remove(tfile) return __generate_single__(var_num, conf_num) finally: os.remove(tfile) |