diff options
| author | Jonathan Herman <hermanjl@cs.unc.edu> | 2012-10-12 01:56:20 -0400 |
|---|---|---|
| committer | Jonathan Herman <hermanjl@cs.unc.edu> | 2012-10-12 01:56:20 -0400 |
| commit | d66aa52d719cf7edad8cac20b711e4c16d2899de (patch) | |
| tree | 167415c66fa78c045fc0a793fe655ffba4b24cfa /experiment/experiment.py | |
| parent | 5d97a6baf6166b74355c6e744e010949a46fd625 (diff) | |
Bug fixes from mixed-criticality experiments
Diffstat (limited to 'experiment/experiment.py')
| -rw-r--r-- | experiment/experiment.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/experiment/experiment.py b/experiment/experiment.py index e6dc92d..f0c201d 100644 --- a/experiment/experiment.py +++ b/experiment/experiment.py | |||
| @@ -197,7 +197,7 @@ class Experiment(object): | |||
| 197 | self.exec_out and self.exec_out.close() | 197 | self.exec_out and self.exec_out.close() |
| 198 | self.exec_err and self.exec_err.close() | 198 | self.exec_err and self.exec_err.close() |
| 199 | 199 | ||
| 200 | sleep_time = 5 | 200 | sleep_time = 10 |
| 201 | self.log("Sleeping %d seconds to allow buffer flushing" % sleep_time) | 201 | self.log("Sleeping %d seconds to allow buffer flushing" % sleep_time) |
| 202 | time.sleep(sleep_time) | 202 | time.sleep(sleep_time) |
| 203 | 203 | ||