##// END OF EJS Templates
catch & ignore missing readline.clear_history
Ville M. Vainio -
Show More
@@ -1268,8 +1268,12 b' want to merge them back into the new files.""" % locals()'
1268 """Reload the input history from disk file."""
1268 """Reload the input history from disk file."""
1269
1269
1270 if self.has_readline:
1270 if self.has_readline:
1271 self.readline.clear_history()
1271 try:
1272 self.readline.read_history_file(self.shell.histfile)
1272 self.readline.clear_history()
1273 self.readline.read_history_file(self.shell.histfile)
1274 except AttributeError:
1275 pass
1276
1273
1277
1274 def history_saving_wrapper(self, func):
1278 def history_saving_wrapper(self, func):
1275 """ Wrap func for readline history saving
1279 """ Wrap func for readline history saving
General Comments 0
You need to be logged in to leave comments. Login now