diff options
| -rw-r--r-- | scripts/pybootchartgui/pybootchartgui/main.py.in | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/scripts/pybootchartgui/pybootchartgui/main.py.in b/scripts/pybootchartgui/pybootchartgui/main.py.in index af26bd2296..a954b125da 100644 --- a/scripts/pybootchartgui/pybootchartgui/main.py.in +++ b/scripts/pybootchartgui/pybootchartgui/main.py.in | |||
| @@ -147,9 +147,7 @@ def main(argv=None): | |||
| 147 | for time in res[4]: | 147 | for time in res[4]: |
| 148 | if time is not None: | 148 | if time is not None: |
| 149 | # output as ms | 149 | # output as ms |
| 150 | print(time * 10, file=f) | 150 | f.write(time * 10) |
| 151 | else: | ||
| 152 | print(file=f) | ||
| 153 | finally: | 151 | finally: |
| 154 | f.close() | 152 | f.close() |
| 155 | filename = _get_filename(options.output) | 153 | filename = _get_filename(options.output) |