diff options
Diffstat (limited to 'synctl')
-rwxr-xr-x | synctl | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/synctl b/synctl index 09b64459b1..4bd4c68b37 100755 --- a/synctl +++ b/synctl @@ -48,7 +48,16 @@ def pid_running(pid): def write(message, colour=NORMAL, stream=sys.stdout): - if colour == NORMAL: + # Lets check if we're writing to a TTY before colouring + should_colour = False + try: + should_colour = stream.isatty() + except AttributeError: + # Just in case `isatty` isn't defined on everything. The python + # docs are incredibly vague. + pass + + if not should_colour: stream.write(message + "\n") else: stream.write(colour + message + NORMAL + "\n") |