aboutsummaryrefslogtreecommitdiff
path: root/scripts
diff options
context:
space:
mode:
authorKarel Kočí <cynerd@email.cz>2015-08-13 15:48:40 +0200
committerKarel Kočí <cynerd@email.cz>2015-08-13 15:52:06 +0200
commit72316e351df5159384d70faa708224ff2fcc8dd2 (patch)
treec96115f0ec0bbdc83d21005aeef2c847e58a780c /scripts
parent7c824b39e6f03fc0d459e07ea46d31335d87daec (diff)
downloadlinux-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.
Diffstat (limited to 'scripts')
-rw-r--r--scripts/configurations.py1
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)