##// END OF EJS Templates
apparently, readline sometimes lacks clear_history. Catch & ignore
Ville M. Vainio -
Show More
@@ -1268,7 +1268,11 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 try:
1271 self.readline.clear_history()
1272 self.readline.clear_history()
1273 except AttributeError:
1274 pass
1275
1272 self.readline.read_history_file(self.shell.histfile)
1276 self.readline.read_history_file(self.shell.histfile)
1273
1277
1274 def history_saving_wrapper(self, func):
1278 def history_saving_wrapper(self, func):
General Comments 0
You need to be logged in to leave comments. Login now