diff options
author | Ze Libertine Gamer <zlg@zlg.space> | 2016-10-14 05:01:25 -0700 |
---|---|---|
committer | Ze Libertine Gamer <zlg@zlg.space> | 2016-10-14 05:01:25 -0700 |
commit | 5907704f1a969052b7adf6e955cc17f0684b378b (patch) | |
tree | 40756bd7e34741377de40ed8cbe1a570400e33d0 | |
parent | Clarify a method to move between platforms (diff) | |
download | vgstash-5907704f1a969052b7adf6e955cc17f0684b378b.tar.gz vgstash-5907704f1a969052b7adf6e955cc17f0684b378b.tar.bz2 vgstash-5907704f1a969052b7adf6e955cc17f0684b378b.tar.xz vgstash-5907704f1a969052b7adf6e955cc17f0684b378b.zip |
Correct pipe-handling behavior
Diffstat (limited to '')
-rwxr-xr-x | vgstash | 10 |
1 files changed, 9 insertions, 1 deletions
@@ -15,6 +15,13 @@ OWNERSHIP = 1 PROGRESS = 1 TABLE_WIDTH = 80 +def safe_print(line): + try: + print(line, flush=True) + # We're catching this in case the other end of a pipe exits early + except BrokenPipeError: + sys.stderr.close() + def set_env(): '''Ensures environment variables are respected. Sets defaults if they're not present. If the defaults are not usable, it throws an @@ -343,7 +350,8 @@ def row_format(args, header): ------------------------------------------------- 1234 | This is a title | Wii U VC | * | F I B C """ - print(" | ".join((gidstr, titlestr, systemstr, ownstr, statstr))) + safe_print(" | ".join((gidstr, titlestr, systemstr, ownstr, statstr))) + def main(): # Establish our important variables |