Olivier Mangin 8 years ago
parent bbf3d3d0c8
commit d4c18ad1a4

@ -7,7 +7,7 @@ from pubs import pubs_cmd
try: try:
pubs_cmd.execute() pubs_cmd.execute()
except IOError: except BrokenPipeError:
# stdout or stderr has been closed, cleaning up # stdout or stderr has been closed, cleaning up
try: try:
sys.stdout.close() sys.stdout.close()

Loading…
Cancel
Save