diff options
Diffstat (limited to 'ca')
| -rwxr-xr-x | ca/rpki-nanny | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/ca/rpki-nanny b/ca/rpki-nanny index a5f5e296..a82f7501 100755 --- a/ca/rpki-nanny +++ b/ca/rpki-nanny @@ -241,7 +241,10 @@ if __name__ == "__main__": os.close(logger_pipe[1]) with os.fdopen(logger_pipe[0]) as f: for line in f: - logger.warn("%s", line.rstrip()) + logger.warn("Captured: %s", line.rstrip()) + # Should never get here, but just in case + logger.error("[Unexpected EOF in stdout/stderr capture logger]") + sys.exit(1) else: os.close(logger_pipe[0]) except: |