Show More
@@ -147,7 +147,10 b' class HistoryManager(object):' | |||
|
147 | 147 | """Reload the input history from disk file.""" |
|
148 | 148 | |
|
149 | 149 | with open(self.hist_file,'rt') as hfile: |
|
150 | try: | |
|
150 | 151 | hist = json.load(hfile) |
|
152 | except ValueError: # Ignore it if JSON is corrupt. | |
|
153 | return | |
|
151 | 154 | self.input_hist_parsed = hist['parsed'] |
|
152 | 155 | self.input_hist_raw = hist['raw'] |
|
153 | 156 | if self.shell.has_readline: |
General Comments 0
You need to be logged in to leave comments.
Login now