Show More
@@ -15,12 +15,17 b' try:' | |||
|
15 | 15 | import readline as _rl |
|
16 | 16 | have_readline = True |
|
17 | 17 | except ImportError: |
|
18 | have_readline = False | |
|
18 | try: | |
|
19 | from pyreadline import * | |
|
20 | import pyreadline as _rl | |
|
21 | have_readline = True | |
|
22 | except ImportError: | |
|
23 | have_readline = False | |
|
19 | 24 | |
|
20 | 25 | if sys.platform == 'win32' and have_readline: |
|
21 | 26 | try: |
|
22 | 27 | _outputfile=_rl.GetOutputFile() |
|
23 |
except |
|
|
28 | except AttributeError: | |
|
24 | 29 | print "Failed GetOutputFile" |
|
25 | 30 | have_readline = False |
|
26 | 31 | |
@@ -31,10 +36,8 b" if sys.platform == 'win32' and have_readline:" | |||
|
31 | 36 | # has the original discussion. |
|
32 | 37 | |
|
33 | 38 | if have_readline: |
|
34 | import readline | |
|
35 | 39 | try: |
|
36 |
r |
|
|
40 | _rl.clear_history | |
|
37 | 41 | except AttributeError: |
|
38 | 42 | def clear_history(): pass |
|
39 |
r |
|
|
40 | del readline | |
|
43 | _rl.clear_history = clear_history No newline at end of file |
General Comments 0
You need to be logged in to leave comments.
Login now