##// END OF EJS Templates
Don't require HistoryManager to have a shell...
MinRK -
Show More
@@ -634,8 +634,9 b' class HistoryManager(HistoryAccessor):'
634 '_ii': self._ii,
634 '_ii': self._ii,
635 '_iii': self._iii,
635 '_iii': self._iii,
636 new_i : self._i00 }
636 new_i : self._i00 }
637
637
638 self.shell.push(to_main, interactive=False)
638 if self.shell is not None:
639 self.shell.push(to_main, interactive=False)
639
640
640 def store_output(self, line_num):
641 def store_output(self, line_num):
641 """If database output logging is enabled, this saves all the
642 """If database output logging is enabled, this saves all the
General Comments 0
You need to be logged in to leave comments. Login now