comparison frontends/src/jp/cmd_profile.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 63d191c05ecd
children 255830fdb80b
comparison
equal deleted inserted replaced
2164:63d191c05ecd 2165:a0fbb2b11fd0