comparison frontends/src/jp/output_std.py @ 2165:a0fbb2b11fd0

tools (common): fixed tty detection when isatty is not available
author Goffi <goffi@goffi.org>
date Thu, 23 Feb 2017 07:33:30 +0100
parents 62dfa6e02f54
children 9061c7247964
comparison
equal deleted inserted replaced
2164:63d191c05ecd 2165:a0fbb2b11fd0