summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorZe Libertine Gamer <zlg@zlg.space>2016-10-14 05:01:25 -0700
committerZe Libertine Gamer <zlg@zlg.space>2016-10-14 05:01:25 -0700
commit5907704f1a969052b7adf6e955cc17f0684b378b (patch)
tree40756bd7e34741377de40ed8cbe1a570400e33d0
parentClarify a method to move between platforms (diff)
downloadvgstash-5907704f1a969052b7adf6e955cc17f0684b378b.tar.gz
vgstash-5907704f1a969052b7adf6e955cc17f0684b378b.tar.bz2
vgstash-5907704f1a969052b7adf6e955cc17f0684b378b.tar.xz
vgstash-5907704f1a969052b7adf6e955cc17f0684b378b.zip
Correct pipe-handling behavior
Diffstat (limited to '')
-rwxr-xr-xvgstash10
1 files changed, 9 insertions, 1 deletions
diff --git a/vgstash b/vgstash
index 1196920..3ddd7ae 100755
--- a/vgstash
+++ b/vgstash
@@ -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