diff options
| author | David Lamparter <equinox@opensourcerouting.org> | 2017-08-03 03:37:37 +0200 |
|---|---|---|
| committer | David Lamparter <equinox@opensourcerouting.org> | 2017-08-03 03:37:37 +0200 |
| commit | c9c8d0d189ce58e3dd6611a1cf6e566806f137cc (patch) | |
| tree | 05b407c3d3dc8d47a185e20204766ae0abb88702 /render_md.py | |
| parent | 27e295b591bad314abe696f0bac06a83af66577c (diff) | |
lib: close stdin/out/err in non-terminal case
Oops, forgot this path... in the --terminal case, stdio is closed when
the user ends the terminal session, but without terminal it was left
open.
(This caused a ssh session hang in the CentOS6 CI because the file
descriptors were still open, so ssh would keep the session alive...)
Signed-off-by: David Lamparter <equinox@opensourcerouting.org>
Diffstat (limited to 'render_md.py')
0 files changed, 0 insertions, 0 deletions
