equal
deleted
inserted
replaced
77 import shlex |
77 import shlex |
78 shellquote = shlex.quote |
78 shellquote = shlex.quote |
79 except (ImportError, AttributeError): |
79 except (ImportError, AttributeError): |
80 import pipes |
80 import pipes |
81 shellquote = pipes.quote |
81 shellquote = pipes.quote |
82 |
|
83 if os.environ.get('RTUNICODEPEDANTRY', False): |
|
84 try: |
|
85 reload(sys) |
|
86 sys.setdefaultencoding("undefined") |
|
87 except NameError: |
|
88 pass |
|
89 |
82 |
90 processlock = threading.Lock() |
83 processlock = threading.Lock() |
91 |
84 |
92 pygmentspresent = False |
85 pygmentspresent = False |
93 # ANSI color is unsupported prior to Windows 10 |
86 # ANSI color is unsupported prior to Windows 10 |