##// END OF EJS Templates
Merge pull request #5210 from minrk/pyreadline...
Min RK -
r15452:132d6299 merge
parent child Browse files
Show More
@@ -13,8 +13,6 b' import sys'
13 import warnings
13 import warnings
14
14
15 _rlmod_names = ['gnureadline', 'readline']
15 _rlmod_names = ['gnureadline', 'readline']
16 if sys.platform == 'win32' or sys.platform == 'cli':
17 _rlmod_names.append('pyreadline')
18
16
19 have_readline = False
17 have_readline = False
20 for _rlmod_name in _rlmod_names:
18 for _rlmod_name in _rlmod_names:
@@ -29,7 +27,7 b' for _rlmod_name in _rlmod_names:'
29 have_readline = True
27 have_readline = True
30 break
28 break
31
29
32 if _rlmod_name == 'pyreadline':
30 if sys.platform == 'win32' or sys.platform == 'cli':
33 try:
31 try:
34 _outputfile=_rl.GetOutputFile()
32 _outputfile=_rl.GetOutputFile()
35 except AttributeError:
33 except AttributeError:
General Comments 0
You need to be logged in to leave comments. Login now